Login / Signup
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411).
Olaf Beyersdorff
Armin Biere
Vijay Ganesh
Jakob Nordström
Andy Oertel
Published in:
Dagstuhl Reports (2022)
Keyphrases
</>
stochastic local search
theoretical framework
np complete problems
theoretical frameworks
real world
combinatorial search
variable ordering
sat solving
search algorithm
search strategies
sat solvers
graph coloring
sat encodings
theoretical insights