conftrace_

problem hardness

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

graph neural network (1) solver runtime (1) core detection (1) unsat problem (1) sat solver (1) data augmentation (1) boolean satisfiability (1)

Papers

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation NeurIPS 2024