Guoqiang Pan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Optimizing a BDD-based modal solver. Lecture Notes in Computer Science | 2010-04-20 | Paper |
| BDD-based decision procedures for the modal logic K ★ Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 Lecture Notes in Computer Science | 2008-09-09 | Paper |
| Treewidth in Verification: Local vs. Global Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| Symbolic techniques in satisfiability solving Journal of Automated Reasoning | 2007-01-24 | Paper |
| Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science | 2005-12-16 | Paper |
| scientific article; zbMATH DE number 2090285 (Why is no real title available?) | 2004-08-12 | Paper |
Research outcomes over time
This page was built for person: Guoqiang Pan
