Quantifier Elimination Meets Treewidth (Research Artifact)

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

Read full text
Authors: Haobo Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan
DOI: 10.5281/zenodo.18150641
Cited by: 0

Abstract

This repository contains the research artifact for the publication Quantifier Elimination Meets Treewidth. This deposit includes the source code, build scripts, experiment scripts, and example datasets required to reproduce the experiments reported in the paper. The artifact targets AMD64 systems; running the full experimental suite requires at least 24 GB of RAM. See README.md for detailed installation, dependency versions, and step-by-step reproduction instructions.

Publication details

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