Solving Pseudo-Boolean Modularity Constraints.
Carlos AnsóteguiRamón BéjarCèsar FernándezFrancesc GuitartCarles MateuPublished in: ECAI (2010)
Keyphrases
- pseudo boolean
- combinatorial problems
- integer linear programming
- symmetry breaking
- exact solution
- pseudo boolean constraints
- boolean optimization
- propositional satisfiability
- constraint programming
- metaheuristic
- column generation
- graph coloring
- global constraints
- combinatorial optimization
- constraint satisfaction
- discrete optimization problems
- constraint satisfaction problems
- propositional logic
- phase transition
- traveling salesman problem
- discrete optimization