C32SAT: Checking C Expressions.

Robert Brummayer Armin Biere

Published in: CAV (2007)

Keyphrases

satisfiability problem
sat solvers
stochastic local search
facial expressions
information systems
sat problem
propositional satisfiability
phase transition
sat solving
database
natural language
search algorithm
boolean satisfiability
consistency checking
graph coloring
variable ordering
sat encodings
real time