dblp.uni-trier.dewww.uni-trier.de

Guoqiang Pan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
10EEGuoqiang 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
8EEAndrea Ferrara, Guoqiang Pan, Moshe Y. Vardi: Treewidth in Verification: Local vs. Global. LPAR 2005: 489-503
7EEGuoqiang Pan, Moshe Y. Vardi: Symbolic Techniques in Satisfiability Solving. J. Autom. Reasoning 35(1-3): 25-50 (2005)
2004
6EEGuoqiang Pan, Moshe Y. Vardi: Symbolic Decision Procedures for QBF. CP 2004: 453-467
5EEBenjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi: Projection Pushing Revisited. EDBT 2004: 441-458
4EEGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT 2004
3EEGuoqiang Pan, Moshe Y. Vardi: Search vs. Symbolic Techniques in Satisfiability Solving. SAT (Selected Papers 2004: 235-250
2003
2EEGuoqiang Pan, Moshe Y. Vardi: Optimizing a BDD-Based Modal Solver. CADE 2003: 75-89
2002
1EEGuoqiang Pan, Ulrike Sattler, Moshe Y. Vardi: BDD-Based Decision Procedures for K. CADE 2002: 16-30

Coauthor Index

1Andrea Ferrara [8]
2Benjamin J. McMahan [5]
3Patrick Porter [5]
4Ulrike Sattler [1] [9]
5Moshe Y. Vardi [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)