Biqing Fang

According to our database, Biqing Fang authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Improving Local Search Algorithms via Probabilistic Configuration Checking.

Weilin Luo, Rongzhen Ye, Hai Wan, Shaowei Cai, Biqing Fang, Delong Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A general multi-agent epistemic planner based on higher-order belief change.

Hai Wan, Biqing Fang, Yongmei Liu

Artif. Intell., 2021

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

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2020

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

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

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

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

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

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.

Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017