Modeling and Solving Graph Synthesis Problems Using SAT-Encoded Reachability Constraints in Picat.
Neng-Fa ZhouPublished in: ICLP Technical Communications (2021)
Keyphrases
- constrained problems
- np complete problems
- linear programming problems
- combinatorial problems
- solving problems
- solving hard
- combinatorial optimization
- sat solving
- sat encodings
- graph coloring
- constraint problems
- weighted max sat
- mixed integer program
- solving constraint satisfaction problems
- optimization problems
- linear constraints
- propositional logic
- state space
- distributed constraint satisfaction
- lower bound
- search algorithm