Volume 56, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 56, Issue 2

February 2016

Filter by

Volume:

Sort by

Date published:

New to old Old to new

5 articles in this issue

In Memory of Mark Stickel
Peter Baumgartner
Wolfgang Bibel
Richard Waldinger
OriginalPaper 11 September 2015 Pages: 95 - 98
Mark Stickel: His Earliest Work
Donald W. Loveland
OriginalPaper 04 September 2015 Pages: 99 - 112
Semantically-Guided Goal-Sensitive Reasoning: Model Representation
Maria Paola Bonacina
David A. Plaisted
OriginalPaper 26 June 2015 Pages: 113 - 141
An Experiment with Satisfiability Modulo SAT
Hantao Zhang
OriginalPaper 06 January 2016 Pages: 143 - 154
Semi-intelligible Isar Proofs from Machine-Generated Proofs
Jasmin Christian Blanchette
Sascha Böhme
Albert Steckermeier
OriginalPaper 12 July 2015 Pages: 155 - 200