Predicting SAT Solver Performance on Heterogeneous Hardware.

Zack Newsham Vijay Ganesh Sebastian Fischmeister

Published in: POS@SAT (2018)

Keyphrases

sat solvers
orders of magnitude
sat solving
constraint satisfaction
sat problem
sat instances
boolean satisfiability
max sat
search space
search strategies
search tree
propositional satisfiability
boolean formula
constraint solver
clause learning
sat encodings
maximum satisfiability