SAT and Interactions (Dagstuhl Seminar 16381).

Olaf Beyersdorff Nadia Creignou Uwe Egly Heribert Vollmer

Published in: Dagstuhl Reports (2016)

Keyphrases

sat solvers
search algorithm
satisfiability problem
real time
stochastic local search algorithms
neural network
information retrieval
information systems
np hard
phase transition
sat problem
sat solving