conftrace_

formula enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

minimal unsatisfiable subset (1) unsupervised pruning (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