The Configurable SAT Solver Challenge (CSSC).

Frank Hutter Marius Lindauer Adrian Balint Sam Bayless Holger H. Hoos Kevin Leyton-Brown

Published in: CoRR (2015)

Keyphrases

sat solvers
orders of magnitude
sat solving
sat instances
boolean satisfiability
search tree
propositional satisfiability
sat problem
constraint satisfaction
search strategies
search space
max sat
genetic algorithm
data structure
phase transition
unsatisfiable cores