A Pearl on SAT Solving in Prolog.

Jacob M. Howe Andy King

Published in: FLOPS (2010)

Keyphrases

sat solving
sat solvers
boolean satisfiability
logic programming
sat problem
knowledge representation
boolean optimization
knowledge base
belief revision
search tree
lower bound
logic programs
orders of magnitude
satisfiability problem
probabilistic planning
sat encodings