Volume 56, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 56, Issue 4

April 2016

Filter by

Volume:

Sort by

Date published:

New to old Old to new

2 articles in this issue

Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
Claire Dross
Sylvain Conchon
Andrei Paskevich
OriginalPaper 17 November 2015 Pages: 387 - 457
Quantifier Reordering for QBF
Friedrich Slivovsky
Stefan Szeider
OriginalPaper 12 November 2015 Pages: 459 - 477