C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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