An application of matroid theory to the SAT problem

Oliver Kullmann

Published in: Electron. Colloquium Comput. Complex. (2000)

Keyphrases

sat problem
satisfiability problem
max sat
boolean satisfiability
np complete
constraint satisfaction problems
sat solvers
phase transition
orders of magnitude
combinatorial optimization
constraint programming
industrial applications
sat instances