|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
BDD-based decision procedures for the modal logic K.  |
Journal of Applied Non-Classical Logics  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Fixed-Parameter Hierarchies inside PSPACE. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Symbolic Techniques in Satisfiability Solving. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
symbolic decision procedure, satisfiability, binary decision diagram |
| 1 | Andrea Ferrara, Guoqiang Pan, Moshe Y. Vardi |
Treewidth in Verification: Local vs. Global. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Search vs. Symbolic Techniques in Satisfiability Solving. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Search vs. Symbolic Techniques in Satisfiability Solving. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin J. McMahan, Guoqiang Pan, Patrick Porter, Moshe Y. Vardi |
Projection Pushing Revisited. |
EDBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Symbolic Decision Procedures for QBF. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Moshe Y. Vardi |
Optimizing a BDD-Based Modal Solver. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
BDD-Based Decision Procedures for K. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")