HardCore Generation: Generating Hard UNSA T Problems for Data Augmentation

Neural Information Processing Systems 

SA T problem for brevity -- is crucial in various industrial problems.