Parallel SMT Solving via Iterative Tree Partitioning: Artifact

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Tomáš Kolárik, Antti E. J. Hyvärinen, Natasha Sharygina
DOI: 10.5281/zenodo.18197586
Cited by: 0

Abstract

Artifact of the paper "Parallel SMT Solving via Iterative Tree Partitioning" accepted at TACAS 2026. Follow the instructions in 'README.md'. The license is placed at 'LICENSE'. The updates wrt. the previous version are: Fixed file paths in the list of benchmark files Added `smoke` mode that allows to run within 30 minutes Minor fixes in plotting scripts Extended the instructions on retrieving the plots to the host machine

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Software Testing and Debugging Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
21 January 2026