The Configurable SAT Solver Challenge (CSSC).

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

Published in: Artif. Intell. (2017)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat instances
constraint satisfaction
sat problem
propositional satisfiability
boolean satisfiability
search strategies
max sat
search tree
search space
sat encodings
constraint solver
genetic algorithm
satisfiability problem
special case
data structure