| 2006 |
|---|
| 10 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Fixed-Parameter Hierarchies inside PSPACE.
LICS 2006: 27-36 |
| 9 | | Guoqiang Pan,
Ulrike Sattler,
Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K.
Journal of Applied Non-Classical Logics 16(1-2): 169-208 (2006) |
| 2005 |
|---|
| 8 | EE | Andrea Ferrara,
Guoqiang Pan,
Moshe Y. Vardi:
Treewidth in Verification: Local vs. Global.
LPAR 2005: 489-503 |
| 7 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Symbolic Techniques in Satisfiability Solving.
J. Autom. Reasoning 35(1-3): 25-50 (2005) |
| 2004 |
|---|
| 6 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Symbolic Decision Procedures for QBF.
CP 2004: 453-467 |
| 5 | EE | Benjamin J. McMahan,
Guoqiang Pan,
Patrick Porter,
Moshe Y. Vardi:
Projection Pushing Revisited.
EDBT 2004: 441-458 |
| 4 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving.
SAT 2004 |
| 3 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Search vs. Symbolic Techniques in Satisfiability Solving.
SAT (Selected Papers 2004: 235-250 |
| 2003 |
|---|
| 2 | EE | Guoqiang Pan,
Moshe Y. Vardi:
Optimizing a BDD-Based Modal Solver.
CADE 2003: 75-89 |
| 2002 |
|---|
| 1 | EE | Guoqiang Pan,
Ulrike Sattler,
Moshe Y. Vardi:
BDD-Based Decision Procedures for K.
CADE 2002: 16-30 |
