On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers.

Rodrigue Konan Tchinda Clémentin Tayou Djamégni

Published in: Constraints An Int. J. (2020)

Keyphrases

sat solvers
orders of magnitude
search space
boolean satisfiability
constraint satisfaction
sat problem
sat solving
max sat
sat instances
symmetry breaking
propositional satisfiability
search strategies
search tree
clause learning sat solvers
answer sets
sat encodings
heuristic search
weighted max sat
state space