conftrace_

mus enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Graph Pruning for Enumeration of Minimal Unsatisfiable Subsets AISTATS 2024