Hardsatgen: Understanding the difficulty of hard sat formula generation and a strong structure-hardness-aware baseline Y Li, X Chen, W Guo, X Li, W Luo, J Huang, HL Zhen, M Yuan, J Yan Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and …, 2023 | 15 | 2023 |
Mixsatgen: Learning graph mixing for sat instance generation X Chen, Y Li, R Wang, J Yan The Twelfth International Conference on Learning Representations, 2024 | 2 | 2024 |
PsyDI: Towards a Personalized and Progressively In-depth Chatbot for Psychological Measurements X Li, X Chen, Y Niu, S Hu, Y Liu arXiv preprint arXiv:2408.03337, 2024 | | 2024 |
Kissat-MAB-rephasing and Kissat relaxed X Chen, W Guo, W Luo, HL Zhen, X Li, M Yuan, J Yan SAT COMPETITION 2022, 35, 0 | | |
Equivalence Checking of EPFL Benchmarks X Chen, W Guo, W Luo, HL Zhen, X Li, M Yuan, J Yan SAT COMPETITION 2022, 84, 0 | | |