Volume 58, Issue 1

January 2017

Special Issue: Selected Extended Papers of IJCAR 2014

Issue Editors:

8 articles in this issue

Preface
Stéphane Demri
Deepak Kapur
Christoph Weidenbach
EditorialNotes 01 November 2016 Pages: 1 - 2
Analyzing Program Termination and Complexity Automatically with AProVE
Jürgen Giesl
Cornelius Aschermann
René Thiemann
OriginalPaper 21 October 2016 Pages: 3 - 31
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
Thomas Ströder
Jürgen Giesl
Cornelius Aschermann
OriginalPaper 22 October 2016 Pages: 33 - 65
The Bayesian Ontology Language \(\mathcal {BEL}\)
İsmail İlkan Ceylan
Rafael Peñaloza
OriginalPaper 26 September 2016 Pages: 67 - 95
Solution Validation and Extraction for QBF Preprocessing
Marijn J. H. Heule
Martina Seidl
Armin Biere
OriginalPaper 05 November 2016 Pages: 97 - 125
An Approximation Framework for Solvers and Decision Procedures
Aleksandar Zeljić
Christoph M. Wintersteiger
Philipp Rümmer
OriginalPaper Open access 10 November 2016 Pages: 127 - 147
Soundness and Completeness Proofs by Coinductive Methods
Jasmin Christian Blanchette
Andrei Popescu
Dmitriy Traytel
OriginalPaper 18 October 2016 Pages: 149 - 179
Finding Proofs in Tarskian Geometry
Michael Beeson
Larry Wos
OriginalPaper 28 October 2016 Pages: 181 - 207

Search