Login / Signup

Generalizing Boolean Satisfiability III: Implementation.

Heidi E. DixonMatthew L. GinsbergDavid K. HoferEugene M. LuksAndrew J. Parkes
Published in: J. Artif. Intell. Res. (2005)
Keyphrases
  • boolean satisfiability
  • sat solvers
  • sat solving
  • boolean optimization
  • randomly generated
  • sat problem
  • branch and bound algorithm
  • integer linear programming
  • probabilistic planning