Artifact for Paper "Enumerating Choice Terms in Model-Based Quantifier Instantiation"

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

Read full text
Authors: Lydia Kondylidou, Jasmin Christian Blanchette, Andrew Reynolds, Cesare Tinelli
DOI: 10.5281/zenodo.18304537
Cited by: 1

Abstract

This artifact accompanies the research paper titled "Enumerating Choice Terms in Model-Based Quantifier Instantiation" and contains all the necessary scripts, binaries, datasets, configuration files, and instructions to reproduce the experiments presented in the paper.

Publication details

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