|
|
ARCADE 2017: Author Index| Author | 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 |
|
|
|
