|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Armando, Alessandro Cimatti (eds.) |
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005  |
PDPAR@CAV  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjark Weber |
Integrating a SAT Solver with an LCF-style Theorem Prover. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli, Ofer Strichman |
Reduced Functional Consistency of Uninterpreted Functions. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean McLaughlin, Clark W. Barrett, Yeting Ge |
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin |
Tool Building Requirements for an API to First-Order Solvers. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Wehrman, Aaron Stump |
Mining Propositional Simplification Proofs for Small Validating Clauses. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Armando, Alessandro Cimatti |
Preface. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani |
Encoding RTL Constructs for MathSAT: a Preliminary Report. |
PDPAR@CAV |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license