The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ARCADE@CADE"( http://dblp.L3S.de/Venues/ARCADE@CADE )

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

Publication years (Num. hits)
2017 (16)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marijn Heule, Benjamin Kiesl The Potential of Interference-Based Proof Systems. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Maria Paola Bonacina Automated Reasoning for Explainable Artificial Intelligence. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin A Case for Query-driven Predicate Answer Set Programming. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrew Reynolds Challenges for Fast Synthesis Procedures in SMT. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Giles Reger, Dmitriy Traytel A Report of ARCADE 2017. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephan Schulz 0001 We know (nearly) nothing!l But can we learn? Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Josef Urban AI at CADE/IJCAR. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Bertram Felgenhauer Beyond DRAT: Challenges in Certifying UNSAT. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Giles Reger, Dmitriy Traytel (eds.) ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Giles Reger, Martin Suda 0001 Checkable Proofs for First-Order Theorem Proving. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Reiner Hähnle, Marieke Huisman 24 Challenges in Deductive Software Verification. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz 0001, Uwe Waldmann Towards Strong Higher-Order Automation for Fast Interactive Verification. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Simon Cruanes Making Automatic Theorem Provers more Versatile. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Weidenbach Do Portfolio Solvers Harm? Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1J. Strother Moore, Marijn J. H. Heule Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license