Login / Signup
Exploiting multivalued knowledge in variable selection heuristics for SAT solvers.
Carlos Ansótegui
Jose Larrubia
Chu Min Li
Felip Manyà
Published in:
Ann. Math. Artif. Intell. (2007)
Keyphrases
</>
sat solvers
knowledge base
orders of magnitude
max sat
sat instances
information retrieval
knowledge representation
search tree
sat solving