SAT Interactions (Dagstuhl Seminar 12471).

Nadia Creignou Nicola Galesi Oliver Kullmann Heribert Vollmer

Published in: Dagstuhl Reports (2012)

Keyphrases

satisfiability problem
sat solvers
search algorithm
phase transition
search engine
real time
search strategies
propositional satisfiability
human interactions
boolean satisfiability
sat encodings
sat solving