Login / Signup

Implementing Efficient All Solutions SAT Solvers.

Takahisa TodaTakehide Soh
Published in: ACM J. Exp. Algorithmics (2016)
Keyphrases
  • sat solvers
  • search space
  • highly efficient
  • max sat
  • sat instances
  • sat solving
  • constraint satisfaction
  • search algorithm
  • state space
  • metaheuristic
  • propositional satisfiability
  • backtrack search
  • weighted max sat