conftrace_

core detection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

solver runtime (1) graph neural network (1) soft clause (1) sat solver (1) problem hardness (1) unsat problem (1) lower bound (1) data augmentation (1) boolean satisfiability (1)

Papers

Improving the Lower Bound in Branch-and-Bound Algorithms for MaxSAT AAAI 2025 HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation NeurIPS 2024