conftrace_

dominance breaking

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

nogood generation (2) constraint optimization (2) dominance relation (1) search space reduction (1) symmetry breaking (1) proof certification (1) maximum clique (1) constraint optimization problem (1) sat solving (1) search space (1)

Papers

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022 Towards More Practical and Efficient Automatic Dominance Breaking AAAI 2021 Automatic Dominance Breaking for a Class of Constraint Optimization Problems IJCAI 2020