TY  - RPRT
TI  - HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation
AU  - Joseph Cotnareanu
AU  - Zhanguang Zhang
AU  - Hui-Ling Zhen
AU  - Yingxue Zhang
AU  - Mark Coates
PY  - 2024
UR  - https://arxiv.org/abs/2409.18778
ID  - 2409.18778
ER  -