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 J. Reynolds, Cesare Tinelli
DOI: 10.5281/zenodo.18153280
Cited by: 0

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
5 January 2026