On Inconsistent Clause-Subsets for Max-SAT Solving.

Sylvain Darras Gilles Dequen Laure Devendeville Chu Min Li

Published in: CP (2007)

Keyphrases

sat solving
clause learning
sat solvers
boolean satisfiability
boolean optimization
search space
sat problem
satisfiability problem
theorem prover
boolean formula
search algorithm
search tree
uniform distribution
sat encodings