Improving SAT Solver Efficiency Using a Multi-Core Approach.

Ricardo Marques Luis G. Silva Paulo F. Flores L. Miguel Silveira

Published in: FLAIRS Conference (2013)

Keyphrases

sat solvers
orders of magnitude
sat solving
sat instances
unsatisfiable cores
boolean satisfiability
search space
propositional satisfiability
clause learning
constraint satisfaction
max sat
data structure
evolutionary algorithm
co occurrence
sat problem
hidden structure