Volume
@proceedings{ARCADE2017,
title = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{ARCADE2017:Report_of_ARCADE_2017,
author = {Giles Reger and Dmitriy Traytel},
title = {A Report of ARCADE 2017},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {1--5},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/P113},
doi = {10.29007/143m}}
@inproceedings{ARCADE2017:SC_square_when_Satisfiability_Checking,
author = {Erika Abraham and John Abbott and Bernd Becker and Anna M. Bigatti and Martin Brain and Alessandro Cimatti and James H. Davenport and Matthew England and Pascal Fontaine and Stephen Forrest and Vijay Ganesh and Alberto Griggio and Daniel Kroening and Werner M. Seiler},
title = {SC-square: when Satisfiability Checking and Symbolic Computation join forces},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {6--10},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/WR2g},
doi = {10.29007/p319}}
@inproceedings{ARCADE2017:Making_Automatic_Theorem_Provers,
author = {Simon Cruanes},
title = {Making Automatic Theorem Provers more Versatile},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {11--15},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/81Q8},
doi = {10.29007/n6j7}}
@inproceedings{ARCADE2017:Towards_Strong_Higher_Order_Automation,
author = {Jasmin Christian Blanchette and Pascal Fontaine and Stephan Schulz and Uwe Waldmann},
title = {Towards Strong Higher-Order Automation for Fast Interactive Verification},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {16--23},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zn3j},
doi = {10.29007/3ngx}}
@inproceedings{ARCADE2017:Automated_Reasoning_for_Explainable,
author = {Maria Paola Bonacina},
title = {Automated Reasoning for Explainable Artificial Intelligence},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {24--28},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HtJp},
doi = {10.29007/4b7h}}
@inproceedings{ARCADE2017:We_know_nearly_nothingl,
author = {Stephan Schulz},
title = {We know (nearly) nothing!l But can we learn?},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {29--32},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6kgF},
doi = {10.29007/n7rd}}
@inproceedings{ARCADE2017:AI_at_CADE_IJCAR,
author = {Josef Urban},
title = {AI at CADE/IJCAR},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {33--36},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/K6hJ},
doi = {10.29007/26gg}}
@inproceedings{ARCADE2017:24_Challenges_in_Deductive,
author = {Reiner H\textbackslash{}"ahnle and Marieke Huisman},
title = {24 Challenges in Deductive Software Verification},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {37--41},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kdZ7},
doi = {10.29007/j2cm}}
@inproceedings{ARCADE2017:Industrial_Use_of_ACL2,
author = {J Moore and Marijn Heule},
title = {Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {42--45},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6w5W},
doi = {10.29007/dh3f}}
@inproceedings{ARCADE2017:Beyond_DRAT_Challenges_in,
author = {Bertram Felgenhauer},
title = {Beyond DRAT: Challenges in Certifying UNSAT},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {46--50},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TFMG},
doi = {10.29007/2b78}}
@inproceedings{ARCADE2017:Potential_of_Interference_Based_Proof,
author = {Marijn Heule and Benjamin Kiesl},
title = {The Potential of Interference-Based Proof Systems},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {51--54},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TWVW},
doi = {10.29007/vr7n}}
@inproceedings{ARCADE2017:Checkable_Proofs_for_First_Order,
author = {Giles Reger and Martin Suda},
title = {Checkable Proofs for First-Order Theorem Proving},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {55--63},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5W2B},
doi = {10.29007/s6d1}}
@inproceedings{ARCADE2017:Case_for_Query_driven_Predicate,
author = {Gopal Gupta and Elmer Salazar and Kyle Marple and Zhuo Chen and Farhad Shakerin},
title = {A Case for Query-driven Predicate Answer Set Programming},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {64--68},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/GbHL},
doi = {10.29007/ngm2}}
@inproceedings{ARCADE2017:Challenges_for_Fast_Synthesis,
author = {Andrew Reynolds},
title = {Challenges for Fast Synthesis Procedures in SMT},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {69--75},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/D2VV},
doi = {10.29007/xrhz}}
@inproceedings{ARCADE2017:Do_Portfolio_Solvers_Harm,
author = {Christoph Weidenbach},
title = {Do Portfolio Solvers Harm?},
booktitle = {ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements},
editor = {Giles Reger and Dmitriy Traytel},
series = {EPiC Series in Computing},
volume = {51},
pages = {76--81},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sXjZ},
doi = {10.29007/vpxm}}
