|
|
ARCADE 2017: Author IndexAuthor | Papers |
---|
A | Abbott, John | SC-square: when Satisfiability Checking and Symbolic Computation join forces | B | Becker, Bernd | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Bigatti, Anna M. | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Blanchette, Jasmin Christian | Towards Strong Higher-Order Automation for Fast Interactive Verification | Bonacina, Maria Paola | Automated Reasoning for Explainable Artificial Intelligence | Brain, Martin | SC-square: when Satisfiability Checking and Symbolic Computation join forces | C | Chen, Zhuo | A Case for Query-driven Predicate Answer Set Programming | Cimatti, Alessandro | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Cruanes, Simon | Making Automatic Theorem Provers more Versatile | D | Davenport, James H. | SC-square: when Satisfiability Checking and Symbolic Computation join forces | E | England, Matthew | SC-square: when Satisfiability Checking and Symbolic Computation join forces | F | Felgenhauer, Bertram | Beyond DRAT: Challenges in Certifying UNSAT | Fontaine, Pascal | SC-square: when Satisfiability Checking and Symbolic Computation join forces Towards Strong Higher-Order Automation for Fast Interactive Verification | Forrest, Stephen | SC-square: when Satisfiability Checking and Symbolic Computation join forces | G | Ganesh, Vijay | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Griggio, Alberto | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Gupta, Gopal | A Case for Query-driven Predicate Answer Set Programming | H | Heule, Marijn | Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions The Potential of Interference-Based Proof Systems | Huisman, Marieke | 24 Challenges in Deductive Software Verification | Hähnle, Reiner | 24 Challenges in Deductive Software Verification | K | Kiesl, Benjamin | The Potential of Interference-Based Proof Systems | Kroening, Daniel | SC-square: when Satisfiability Checking and Symbolic Computation join forces | M | Marple, Kyle | A Case for Query-driven Predicate Answer Set Programming | Moore, J | Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions | R | Reger, Giles | A Report of ARCADE 2017 Checkable Proofs for First-Order Theorem Proving | Reynolds, Andrew | Challenges for Fast Synthesis Procedures in SMT | S | Salazar, Elmer | A Case for Query-driven Predicate Answer Set Programming | Schulz, Stephan | Towards Strong Higher-Order Automation for Fast Interactive Verification We know (nearly) nothing!l But can we learn? | Seiler, Werner M. | SC-square: when Satisfiability Checking and Symbolic Computation join forces | Shakerin, Farhad | A Case for Query-driven Predicate Answer Set Programming | Suda, Martin | Checkable Proofs for First-Order Theorem Proving | T | Traytel, Dmitriy | A Report of ARCADE 2017 | U | Urban, Josef | AI at CADE/IJCAR | W | Waldmann, Uwe | Towards Strong Higher-Order Automation for Fast Interactive Verification | Weidenbach, Christoph | Do Portfolio Solvers Harm? | Á | Ábrahám, Erika | SC-square: when Satisfiability Checking and Symbolic Computation join forces |
|
|
|