Computing Maximum Unavoidable Subgraphs Using SAT Solvers.

C. K. Cuong M. J. H. Heule

Published in: SAT (2016)

Keyphrases

sat solvers
orders of magnitude
search space
sat solving
max sat
propositional satisfiability
constraint satisfaction
sat problem
boolean satisfiability
search tree
search strategies
sat instances
data structure
weighted max sat
clause learning sat solvers
symmetry breaking