Incremental Encoding of Pseudo-Boolean Goal Functions Based on Comparator Networks.
Michal KarpinskiMarek PiotrówPublished in: SAT (2020)
Keyphrases
- pseudo boolean
- pseudo boolean constraints
- combinatorial problems
- integer linear programming
- symmetry breaking
- propositional satisfiability
- exact solution
- traveling salesman problem
- search algorithm
- global constraints
- constraint programming
- logic programming
- column generation
- phase transition
- combinatorial optimization
- discrete optimization problems
- constraint satisfaction