SAT Encodings and Beyond (Dagstuhl Seminar 23261).

Marijn J. H. Heule Inês Lynce Stefan Szeider André Schidler

Published in: Dagstuhl Reports (2023)

Keyphrases

sat encodings
sat solvers
constraint satisfaction problems
combinatorial problems
graph coloring
linear arithmetic constraints
planning problems
solving problems
constraint satisfaction
constraint programming
computational complexity
domain independent
temporal planning