Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 7/2020

Issue 7/2020

Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman

Table of Contents ( 16 Articles )

26-05-2020 | Issue 7/2020 Open Access

Preface: Special Issue of Selected Extended Papers from IJCAR 2018

Didier Galmiche, Stephan Schulz, Roberto Sebastiani

17-06-2020 | Issue 7/2020

Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann

24-06-2020 | Issue 7/2020

Constructive Decision via Redundancy-Free Proof-Search

Dominique Larchey-Wendling

22-05-2020 | Issue 7/2020 Open Access

From QBFs to MALL and Back via Focussing

Anupam Das

31-07-2020 | Issue 7/2020 Open Access

Simulating Strong Practical Proof Systems with Extended Resolution

Benjamin Kiesl, Adrián Rebola-Pardo, Marijn J. H. Heule, Armin Biere

06-06-2020 | Issue 7/2020

Probably Partially True: Satisfiability for Łukasiewicz Infinitely-Valued Probabilistic Logic and Related Topics

Marcelo Finger, Sandro Preto

06-06-2020 | Issue 7/2020 Open Access

Proof-Producing Synthesis of CakeML from Monadic HOL Functions

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, Yong Kiam Tan

27-06-2020 | Issue 7/2020

Parameterized Model Checking on the TSO Weak Memory Model

Sylvain Conchon, David Declerck, Fatiha Zaïdi

24-09-2020 | Issue 7/2020 Open Access

Selected and Extended Papers from TACAS 2018: Preface

Dirk Beyer, Marieke Huisman

29-08-2020 | Issue 7/2020

Synthesizing Precise and Useful Commutativity Conditions

Kshitij Bansal, Eric Koskinen, Omer Tripp

21-07-2020 | Issue 7/2020

Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Randal E. Bryant

01-08-2020 | Issue 7/2020

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

14-07-2020 | Issue 7/2020 Open Access

Fine-Grained Complexity of Safety Verification

Peter Chini, Roland Meyer, Prakash Saivasan

13-08-2020 | Issue 7/2020 Open Access

Natural Projection as Partial Model Checking

Gabriele Costa, Letterio Galletta, Pierpaolo Degano, David Basin, Chiara Bodei

28-07-2020 | Issue 7/2020 Open Access

Multi-cost Bounded Tradeoff Analysis in MDP

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

13-07-2020 | Issue 7/2020 Open Access

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

Current Publications

Premium Partner

    Image Credits