conftrace_

unsupervised pruning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

minimal unsatisfiable subset (1) formula enumeration (1) formula learning (1) graph pruning (1) graph neural network (1) mus enumeration (1) constraint satisfaction (1)

Papers

Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024