Login / Signup

Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies.

Vijay DurairajPriyank Kalla
Published in: SAT (2005)
Keyphrases
  • variable ordering
  • branch and bound algorithm
  • conflict directed
  • forward checking
  • max sat
  • propositional satisfiability
  • search strategies
  • binary decision diagrams
  • lower bound
  • special case
  • branch and bound