conftrace_

mus computation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symmetry exploitation (1) branch-and-bound search (1) symmetry detection (1) constraint programming (1) minimal unsatisfiable subset (1) algorithm optimization (1) constraint solving (1)

Papers

Exploiting Symmetries in MUS Computation AAAI 2025