Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062).
Sébastien BardinNikolaj BjørnerCristian CadarPublished in: Dagstuhl Reports (2019)
Keyphrases
- constraint solving
- constraint programming
- constraint propagation
- constraint logic programming
- propositional satisfiability
- constraint satisfaction problems
- constraint satisfaction
- modulo theories
- constraint solver
- sat solvers
- satisfiability problem
- search strategies
- global constraints
- sat problem
- max sat
- answer set programming
- stochastic local search
- phase transition
- constraint solvers
- special case