SAT and Interactions (Dagstuhl Seminar 20061).

Olaf Beyersdorff Uwe Egly Meena Mahajan Cláudia Nalon

Published in: Dagstuhl Reports (2020)

Keyphrases

sat solvers
satisfiability problem
search algorithm
stochastic local search algorithms
social networks
search strategies
phase transition