Volume 51, Issue 3

December 2017

Special issue on Recent topics in SMT

Issue Editors:

8 articles in this issue

Preface to special issue on satisfiability modulo theories
Alberto Griggio
Philipp Rümmer
EditorialNotes 22 November 2017 Pages: 431 - 432
New techniques for linear arithmetic: cubes and equalities
Martin Bromberger
Christoph Weidenbach
OriginalPaper Open access 08 May 2017 Pages: 433 - 461
raSAT: an SMT solver for polynomial constraints
Vu Xuan Tung
To Van Khanh
Mizuhito Ogawa
OriginalPaper 27 June 2017 Pages: 462 - 499
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds
Tim King
Viktor Kuncak
OriginalPaper 03 August 2017 Pages: 500 - 532
NP-completeness of small conflict set generation for congruence closure
Andreas Fellner
Pascal Fontaine
Bruno Woltzenlogel Paleo
OriginalPaper Open access 22 June 2017 Pages: 533 - 544
Cardinality constraints for arrays (decidability results and applications)
F. Alberti
S. Ghilardi
E. Pagani
OriginalPaper 21 April 2017 Pages: 545 - 574
Compositional entailment checking for a fragment of separation logic
Constantin Enea
Ondřej Lengál
Tomáš Vojnar
OriginalPaper 03 August 2017 Pages: 575 - 607
Propagation based local search for bit-precise reasoning
Aina Niemetz
Mathias Preiner
Armin Biere
OriginalPaper Open access 02 October 2017 Pages: 608 - 636

Search