Persistency for higher-order pseudo-boolean maximization.
Petter StrandmarkPublished in: Tiny Trans. Comput. Sci. (2012)
Keyphrases
- higher order
- pseudo boolean
- combinatorial problems
- integer linear programming
- pseudo boolean constraints
- symmetry breaking
- exact solution
- propositional satisfiability
- boolean optimization
- constraint programming
- logic programming
- pairwise
- objective function
- combinatorial optimization
- metaheuristic
- constraint satisfaction problems
- global constraints
- graph coloring
- discrete optimization problems
- traveling salesman problem
- cutting plane