HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation

Joseph Cotnareanu, Zhanguang Zhang, Hui-Ling Zhen +2

Efficiently determining the satisfiability of a boolean equation -- known as the SAT problem for brevity -- is crucial in various industrial problems. Recently, the advent of deep…