Accepted Papers

Regular Papers

  • Intrepid: an SMT-based Model Checker for Control Engineering and Industrial Automation
    Roberto Bruttomesso
  • An SMT Approach To A Multiparty Economic Scheduling Problem
    Shriphani Palakodety, Guha Jayachandran and Aditya Thakur
  • An Algorithm Selection Approach for QF_FP Solvers
    Joseph Scott, Pascal Poupart and Vijay Ganesh

Extended Abstracts and Preliminary Reports

  • The Eos SMT/SMA-Solver: A Preliminary Report
    Maria Paola Bonacina and Giulio Mazzi
  • Constrained Optimization Benchmark for Optimization Modulo Theory: A Cloud Resource Management Problem
    Madalina Erascu and Razvan Metes
  • Interpolating Bit-vector Arithmetic Constraints in MCSAT
    Stéphane Graham-Lengrand and Dejan Jovanović

Presentation-only Papers

  • Extending SMT solvers to Higher-Order Logic
    Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett
  • SPASS-SATT: a CDCL(LA) Solver
    Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach
  • Towards Bit-Width-Independent Proofs in SMT Solvers
    Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett and Cesare Tinelli
  • High-Level Abstractions for Simplifying Extended String Constraints in SMT
    Andrew Reynolds, Andres Noetzli, Clark Barrett and Cesare Tinelli