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 |