SMT@IJCAR

Keyphrases

Publications

2016

Markus Bender
Reasoning with Sets and Sums of Sets. SMT@IJCAR (2016)
Roberto Sebastiani, Patrick Trentin
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. SMT@IJCAR (2016)
Eryk Kopczynski, Szymon Torunczyk
LOIS: an Application of SMT Solvers. SMT@IJCAR (2016)
Tjark Weber
Scrambling and Descrambling SMT-LIB Benchmarks. SMT@IJCAR (2016)
Nik Sultana, Richard Mortier
Kneecap: Model-based Generation of Network Traffic. SMT@IJCAR (2016)
Raphaël Berthon, Christophe Ringeissen
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. SMT@IJCAR (2016)
Martin Bromberger, Christoph Weidenbach
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. SMT@IJCAR (2016)
Mikolás Janota, Christoph M. Wintersteiger
On Intervals and Bounds in Bit-vector Arithmetic. SMT@IJCAR (2016)
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR (2016)

volume 1617, 2016

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. SMT@IJCAR 1617 (2016)

volume 20, 2013

10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 SMT@IJCAR 20 (2013)

2012