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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Tim King, Ruzica Piskac, editors, 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. Volume 1617 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Conference: cade2016

Abstract is missing.

Kneecap: Model-based Generation of Network TrafficNik Sultana, Richard Mortier. 4-14 [doi]

Computing a Complete Basis for Equalities Implied by a System of LRA ConstraintsMartin Bromberger, Christoph Weidenbach. 15-30 [doi]

Scrambling and Descrambling SMT-LIB BenchmarksTjark Weber. 31-40 [doi]

Algebraic Polynomial-based Synthesis for Abstract Boolean Network AnalysisPeter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn. 41-50 [doi]

LOIS: an Application of SMT SolversEryk Kopczynski, Szymon Torunczyk. 51-60 [doi]

Reasoning with Sets and Sums of SetsMarkus Bender. 61-70 [doi]

Satisfiability Modulo Free Data Structures Combined with Bridging FunctionsRaphael Berthon, Christophe Ringeissen. 71-80 [doi]

On Intervals and Bounds in Bit-vector ArithmeticMikolás Janota, Christoph M. Wintersteiger. 81-84 [doi]

On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMTRoberto Sebastiani, Patrick Trentin. 85-95 [doi]

runs on WebDSL