Login / Signup

Toward Good Elimination Orders for Symbolic SAT Solving.

Jinbo HuangAdnan Darwiche
Published in: ICTAI (2004)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • sat problem
  • boolean optimization
  • orders of magnitude
  • branch and bound algorithm
  • phase transition
  • search tree