☰

Guoqiang Pan, Ph.D.

Affiliations: 
2007 Rice University, Houston, TX 
Area:
Computer Science
Google:
"Guoqiang Pan"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Moshe Y. Vardi grad student 2007 Rice University
 (Complexity and structural heuristics for propositional and quantified satisfiability.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Pan G, Sattler U, Vardi MY. (2006) BDD-based decision procedures for the modal logic K ★ Journal of Applied Non-Classical Logics. 16: 169-207
Pan G, Vardi MY. (2005) Symbolic techniques in satisfiability solving Journal of Automated Reasoning. 35: 25-50
See more...