| 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 | 14 | 2023 |
| Deepgate2: Functionality-aware circuit representation learning Z Shi, H Pan, S Khan, M Li, Y Liu, J Huang, HL Zhen, M Yuan, Z Chu, ... 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023 | 7 | 2023 |
| Accelerate sat-based atpg via preprocessing and new conflict management heuristics J Huang, HL Zhen, N Wang, M Yuan, H Mao, Y Huang, J Tao 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC), 365-370, 2022 | 6 | 2022 |
| Satformer: Transformer-based unsat core learning Z Shi, M Li, Y Liu, S Khan, J Huang, HL Zhen, M Yuan, Q Xu 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-4, 2023 | 3 | 2023 |
| Neural fault analysis for sat-based atpg J Huang, HL Zhen, N Wang, H Mao, M Yuan, Y Huang 2022 IEEE International Test Conference (ITC), 36-45, 2022 | 3 | 2022 |
| Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification H Liu, P Liao, J Huang, HL Zhen, M Yuan, TY Ho, B Yu 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024 | | 2024 |
| IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability TH Chan, W Xiao, J Huang, H Zhen, G Tian, M Yuan arXiv preprint arXiv:2403.03517, 2024 | | 2024 |
| Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG HL Zhen, N Wang, J Huang, X Huang, M Yuan, Y Huang arXiv preprint arXiv:2303.02290, 2023 | | 2023 |
| Logical Equivalence Checking of Arithmetic Benchmarks Z Xie, X Liu, W Luo, J Huang, HL Zhen, X Li, M Yuan, S Li SAT COMPETITION 2023, 76, 0 | | |
| pKisDS: Dynamic Clause Sharing with Bandit Algorithms Z Xie, X Liu, W Luo, J Huang, HL Zhen, X Li, M Yuan, S Li SAT COMPETITION 2023, 44, 0 | | |
