Guoqiang Pan, Ph.D.
Affiliations: | 2007 | Rice University, Houston, TX |
Area:
Computer ScienceGoogle:
"Guoqiang Pan"Parents
Sign in to add mentorMoshe Y. Vardi | grad student | 2007 | Rice University | |
(Complexity and structural heuristics for propositional and quantified satisfiability.) |
BETA: Related publications
See more...
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 |