Enumerating Choice Terms in Model-Based Quantifier Instantiation

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

Read full text
Authors: Lydia Kondylidou
DOI: 10.5281/zenodo.18212605
Cited by: 1

Abstract

This package contains the raw evaluation data for the paper Enumerating Choice Terms in Model-Based Quantifier Instantiation. The necessary scripts, binaries, datasets, configuration files, and instructions for reproducing the results are available at https://doi.org/10.5281/zenodo.18153280.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
11 January 2026
Document type
Dataset