Biqing Fang
Orcid: 0000-0002-2344-7599
According to our database1,
Biqing Fang
authored at least 8 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Artif. Intell., 2021
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.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.
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.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017