Industrial-Strength Formally Certified SAT Solving

Ashish Darbari Bernd Fischer João P. Marques Silva

Published in: CoRR (2009)

Keyphrases

sat solving
industrial strength
sat solvers
boolean satisfiability
text mining
sat problem
boolean optimization
max sat
clause learning
objective function
sat encodings
search space
constraint satisfaction
computational complexity
search algorithm
symmetry breaking
knowledge base
data mining
real world