A Time Leap Challenge for SAT-Solving.

Johannes Klaus Fichte Markus Hecher Stefan Szeider

Published in: CP (2020)

Keyphrases

sat solving
sat solvers
boolean optimization
sat problem
boolean satisfiability
symmetry breaking
information retrieval
model checking