ARCADE 2017:Author Index

AuthorPapers
A
Abbott, JohnSC-square: when Satisfiability Checking and Symbolic Computation join forces
Abraham, ErikaSC-square: when Satisfiability Checking and Symbolic Computation join forces
B
Becker, BerndSC-square: when Satisfiability Checking and Symbolic Computation join forces
Bigatti, Anna M.SC-square: when Satisfiability Checking and Symbolic Computation join forces
Blanchette, Jasmin ChristianTowards Strong Higher-Order Automation for Fast Interactive Verification
Bonacina, Maria PaolaAutomated Reasoning for Explainable Artificial Intelligence
Brain, MartinSC-square: when Satisfiability Checking and Symbolic Computation join forces
C
Chen, ZhuoA Case for Query-driven Predicate Answer Set Programming
Cimatti, AlessandroSC-square: when Satisfiability Checking and Symbolic Computation join forces
Cruanes, SimonMaking Automatic Theorem Provers more Versatile
D
Davenport, James H.SC-square: when Satisfiability Checking and Symbolic Computation join forces
E
England, MatthewSC-square: when Satisfiability Checking and Symbolic Computation join forces
F
Felgenhauer, BertramBeyond DRAT: Challenges in Certifying UNSAT
Fontaine, PascalSC-square: when Satisfiability Checking and Symbolic Computation join forces
Towards Strong Higher-Order Automation for Fast Interactive Verification
Forrest, StephenSC-square: when Satisfiability Checking and Symbolic Computation join forces
G
Ganesh, VijaySC-square: when Satisfiability Checking and Symbolic Computation join forces
Griggio, AlbertoSC-square: when Satisfiability Checking and Symbolic Computation join forces
Gupta, GopalA Case for Query-driven Predicate Answer Set Programming
H
Heule, MarijnIndustrial Use of ACL2: Applications, Achievements, Challenges, and Directions
The Potential of Interference-Based Proof Systems
Huisman, Marieke24 Challenges in Deductive Software Verification
Hähnle, Reiner24 Challenges in Deductive Software Verification
K
Kiesl, BenjaminThe Potential of Interference-Based Proof Systems
Kroening, DanielSC-square: when Satisfiability Checking and Symbolic Computation join forces
M
Marple, KyleA Case for Query-driven Predicate Answer Set Programming
Moore, JIndustrial Use of ACL2: Applications, Achievements, Challenges, and Directions
R
Reger, GilesA Report of ARCADE 2017
Checkable Proofs for First-Order Theorem Proving
Reynolds, AndrewChallenges for Fast Synthesis Procedures in SMT
S
Salazar, ElmerA Case for Query-driven Predicate Answer Set Programming
Schulz, StephanTowards 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, FarhadA Case for Query-driven Predicate Answer Set Programming
Suda, MartinCheckable Proofs for First-Order Theorem Proving
T
Traytel, DmitriyA Report of ARCADE 2017
U
Urban, JosefAI at CADE/IJCAR
W
Waldmann, UweTowards Strong Higher-Order Automation for Fast Interactive Verification
Weidenbach, ChristophDo Portfolio Solvers Harm?