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