BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pan:Guoqiang

Contributed to:

LICS 20062006
SAT 20042004
SAT 20042005
CADE 20032003
CADE 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.