Guoqiang Pan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2002–2006
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | LICS | Fixed-Parameter Hierarchies inside PSPACE. | Guoqiang Pan, Moshe Y. Vardi |
| 2005 | LPAR | Treewidth in Verification: Local vs. Global. | Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi |
| 2004 | CP | Symbolic Decision Procedures for QBF. | Guoqiang Pan, Moshe Y. Vardi |
| 2004 | EDBT | Projection Pushing Revisited. | Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi |
| 2004 | SAT | Search vs. Symbolic Techniques in Satisfiability Solving. | Guoqiang Pan, Moshe Y. Vardi |
| 2004 | SAT | Search vs. Symbolic Techniques in Satisfiability Solving. | Guoqiang Pan, Moshe Y. Vardi |
| 2003 | CADE | Optimizing a BDD-Based Modal Solver. | Guoqiang Pan, Moshe Y. Vardi |
| 2002 | CADE | BDD-Based Decision Procedures for K. | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |