Accepted Papers
Regular Papers
-
Intrepid: an SMT-based Model Checker for Control Engineering and Industrial AutomationRoberto Bruttomesso
-
An SMT Approach To A Multiparty Economic Scheduling ProblemShriphani Palakodety, Guha Jayachandran and Aditya Thakur
-
An Algorithm Selection Approach for QF_FP SolversJoseph Scott, Pascal Poupart and Vijay Ganesh
Extended Abstracts and Preliminary Reports
-
The Eos SMT/SMA-Solver: A Preliminary ReportMaria Paola Bonacina and Giulio Mazzi
-
Constrained Optimization Benchmark for Optimization Modulo Theory: A Cloud Resource Management ProblemMadalina Erascu and Razvan Metes
-
Interpolating Bit-vector Arithmetic Constraints in MCSATStéphane Graham-Lengrand and Dejan Jovanović
Presentation-only Papers
-
Extending SMT solvers to Higher-Order LogicHaniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett
-
SPASS-SATT: a CDCL(LA) SolverMartin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach
-
Towards Bit-Width-Independent Proofs in SMT SolversAina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett and Cesare Tinelli
-
High-Level Abstractions for Simplifying Extended String Constraints in SMTAndrew Reynolds, Andres Noetzli, Clark Barrett and Cesare Tinelli