Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "D/PDPAR@IJCAR"( http://dblp.L3S.de/Venues/D/PDPAR@IJCAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/smt

Publication years (Num. hits)
2004 (12) 2005 (1)
Publication types (Num. hits)
inproceedings(12) proceedings(1)
Venues (Conferences, Journals, ...)
D/PDPAR@IJCAR(13)
Authors
Cesare Tinelli(2) Clark W. Barrett(2) Hans de Nivelle(2) Peter Baumgartner 0001(2) Silvio Ranise(2) Wolfgang Ahrendt(2) Aaron Stump(1) Alessandro Armando(1) Alison Pease(1) Arie Gurfinkel(1) Claudio Castellini(1) Daniel Méry(1) David L. Dill(1) Didier Galmiche(1) Dominique Larchey-Wendling(1) E. Pascal Gribomont(1) More (+10 of total 32)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli (eds.) Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004 Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2005 DBLP  BibTeX  RDF
1Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli Preface. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea TSAT++: an Open Platform for Satisfiability Modulo Theories. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jian Zhang, Zhuo Huang Reducing Symmetries to Generate Easier SAT Instances. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Klapper, Aaron Stump Validated Proof-Producing Decision Procedures. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dominique Larchey-Wendling Gödel-Dummett Counter-models through Matrix Computation. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Jacob Donham Combining SAT Methods with Non-Clausal Decision Heuristics. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, E. Pascal Gribomont Combining Non-stably Infinite, Non-first Order Theories. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Didier Galmiche, Daniel Méry Resource Graphs and Countermodels in Resource Logics. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tjark Weber Bounded Model Generation for Isabelle/HOL. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simon Colton, Alison Pease The TM System for Repairing Non-Theorems. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill A Practical Approach to Partial Functions in CVC Lite. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar Justifying Equality. Search on Bibsonomy D/PDPAR@IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license