Benchmarks for Solving LIA⋆ Constraints Using Hilbert Bases

Dataset

Open access

Mudathir Mahgoub Yahia Mohamed, Andrew Reynolds, Cesare Tinelli and Clark Barrett

zendo

08/04/2026

DOI: 10.5281/zenodo.21755582

Files and links (1)

url

https://doi.org/10.5281/zenodo.21755582View

Open Access

Title: Subtitle: Benchmarks for Solving LIA⋆ Constraints Using Hilbert Bases
Creators: Mudathir Mahgoub Yahia Mohamed
Andrew Reynolds
Cesare Tinelli - University of Iowa
Clark Barrett - Stanford University
Resource Type: Dataset
DOI: 10.5281/zenodo.21755582
Publisher: zendo
Language: English
Date published: 08/04/2026
Academic Unit: Computer Science
Record Identifier: 9985218373502771

1 Record Views