Sat4j 2.3.2: on the fly solver configuration System Description.

Daniel Le Berre Stéphanie Roussel

Published in: J. Satisf. Boolean Model. Comput. (2014)

Keyphrases

sat solving
satisfiability problem
sat solvers
backtracking search
weighted max sat
constraint satisfaction problems
high level
np hard
logic programming
orders of magnitude
max sat
constraint solver
clause learning