Coupling Different Integer Encodings for SAT.
Hendrik BierleeGraeme GangeGuido TackJip J. DekkerPeter J. StuckeyPublished in: CPAIOR (2022)
Keyphrases
- boolean satisfiability
- sat encodings
- sat instances
- sat solving
- sat solvers
- pseudo boolean constraints
- sat problem
- satisfiability problem
- randomly generated
- probabilistic planning
- integer linear programming
- branch and bound algorithm
- symmetry breaking
- propositional satisfiability
- phase transition
- max sat
- search algorithm
- combinatorial problems
- non binary
- constraint satisfaction problems
- planning problems
- integer valued
- stochastic local search
- floating point
- global constraints
- clause learning
- temporal logic
- logic programming
- upper bound
- data sets