A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. - Xiao Huang; Biqing Fang; Hai Wan; Yongmei Liu 001 (IJCAI, 2017)

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 (AAAI, 2018)

Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules. - Liangda Fang; Biqing Fang; Hai Wan; Zeqi Zheng; Liang Chang 003; Quan Yu (ICCAD, 2019)

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 (APSEC, 2020)

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 (ICCAD, 2021)

A general multi-agent epistemic planner based on higher-order belief change. - Hai Wan; Biqing Fang; Yongmei Liu 001 (Artif. Intell., 2021)

Improving Local Search Algorithms via Probabilistic Configuration Checking. - Weilin Luo; Rongzhen Ye; Hai Wan; Shaowei Cai 001; Biqing Fang; Delong Zhang (AAAI, 2022)

Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. - Biqing Fang; Fangzhen Lin (KR, 2024)