Travelled to:1 × Denmark
2 × Canada
2 × USA
Collaborated with:M.Y.Vardi U.Sattler
Talks about:techniqu (2) satisfi (2) symbol (2) search (2) solv (2) base (2) bdd (2) hierarchi (1) procedur (1) paramet (1)
Person: Guoqiang Pan
DBLP: Pan:Guoqiang
Contributed to:
2006
20042005
20032002Wrote 5 papers:
- LICS-2006-PanV #parametricity
- Fixed-Parameter Hierarchies inside PSPACE (GP, MYV), pp. 27–36.
- SAT-2004-PanV #satisfiability
- Search vs. Symbolic Techniques in Satisfiability Solving (GP, MYV), pp. 137–146.
- SAT-J-2004-PanV05 #satisfiability
- Search vs. Symbolic Techniques in Satisfiability Solving (GP, MYV), pp. 235–250.
- CADE-2003-PanV #optimisation
- Optimizing a BDD-Based Modal Solver (GP, MYV), pp. 75–89.
- CADE-2002-PanSV
- BDD-Based Decision Procedures for K (GP, US, MYV), pp. 16–30.