A Pseudo-Boolean Polynomials Approach for Image Edge Detection.
Tendai Mapungwana ChikakeBoris GoldengorinPublished in: CoRR (2023)
Keyphrases
- pseudo boolean
- integer linear programming
- combinatorial problems
- pseudo boolean constraints
- symmetry breaking
- propositional satisfiability
- exact solution
- boolean optimization
- constraint programming
- global constraints
- graph coloring
- combinatorial optimization
- column generation
- discrete optimization problems
- sat solvers
- constraint satisfaction
- metaheuristic
- constraint satisfaction problems
- industrial applications
- phase transition
- traveling salesman problem
- logic programming
- linear programming
- propositional logic
- discrete optimization
- unconstrained optimization