11 results on '"Guoqiang Pan"'
Search Results
2. Fixed-Parameter Hierarchies inside PSPACE.
3. Treewidth in Verification: Local vs. Global.
4. Projection Pushing Revisited.
5. Search vs. Symbolic Techniques in Satisfiability Solving.
6. Symbolic Decision Procedures for QBF.
7. Optimizing a BDD-Based Modal Solver.
8. BDD-Based Decision Procedures for K.
9. BDD-based decision procedures for the modal logic K.
10. Symbolic Techniques in Satisfiability Solving.
11. Search vs. Symbolic Techniques in Satisfiability Solving.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.