| 2025 | KR | Pruning with Belief Traps in Multi-agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2024 | KR | Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2022 | AAAI | Improving Local Search Algorithms via Probabilistic Configuration Checking. | Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang |
| 2021 | ICCAD | An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae. | Weilin Luo, Hai Wan, Hongzhen Zhong, Ou Wei, Biqing Fang, Xiaotong Song |
| 2020 | APSEC | Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification. | Hongzhen Zhong, Hai Wan, Weilin Luo, Zhanhao Xiao, Jia Li, Biqing Fang |
| 2019 | ICCAD | Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. | Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu |
| 2018 | AAAI | Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting - Application to Belief Update and Conservative Extension. | Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhao-Rong Lai |
| 2017 | IJCAI | A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. | Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu |