conftrace_

minimal unsatisfiable subset

2 papers

Explore in graph

Also known as

MUS

Co-occurring keywords · papers mentioning both

formula enumeration (1) unsupervised pruning (1) constraint programming (1) symmetry detection (1) branch-and-bound search (1) formula learning (1) symmetry exploitation (1) graph pruning (1) graph neural network (1) mus computation (1)

Papers

Exploiting Symmetries in MUS Computation AAAI 2025 Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024