Login / Signup

-SAT: Properties of Balanced Formulas.

Yacine BoufkhadOlivier DuboisYannet InterianBart Selman
Published in: J. Autom. Reason. (2005)
Keyphrases
  • desirable properties
  • search algorithm
  • sat solvers
  • knowledge representation
  • propositional formulas