Theory and Practice of SAT Solving (Dagstuhl Seminar 15171).

Armin Biere Vijay Ganesh Martin Grohe Jakob Nordström Ryan Williams

Published in: Dagstuhl Reports (2015)

Keyphrases

sat solving
sat solvers
information retrieval systems
boolean optimization
special case
orders of magnitude
cellular automata