conftrace_

proof certification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

maximum clique (1) symmetry breaking (1) dominance breaking (1) sat solving (1) sat solver (1) cutting plane (1) combinatorial optimization (1)

Papers

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022