Biqing Fang

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 8

Top Topics

Propositional Logic

Spline Interpolation

Prime Implicates

Top Venues

Publications

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