Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline

Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
January 2023
Cite
Type
Conference paper
Publication
Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Add the full text or supplementary notes for the publication here using Markdown formatting.