Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning John SlaneyBruno Woltzenlogel Paleo OriginalPaper 24 February 2017 Pages: 133 - 156
Genetic Programming \(\varvec{+}\) Proof Search \(\varvec{=}\) Automatic Improvement Zoltan A. KocsisJerry Swan OriginalPaper Open access 07 March 2017 Pages: 157 - 176
Visibly Linear Temporal Logic Laura BozzelliCésar Sánchez OriginalPaper 11 March 2017 Pages: 177 - 220
Many-Sorted Equivalence of Shiny and Strongly Polite Theories Filipe CasalJoão Rasga OriginalPaper 11 March 2017 Pages: 221 - 236
A Formalization of Metric Spaces in HOL Light Marco Maggesi OriginalPaper 31 March 2017 Pages: 237 - 254