A New Set of Algebraic Benchmark Problems for SAT Solvers.

Andreas Meier Volker Sorge

Published in: SAT (2005)

Keyphrases

benchmark problems
sat solvers
optimization problems
job shop scheduling problem
search space
test problems
simulated annealing
orders of magnitude