Artifact for [Scalable Floating-Point Satisfiability via Staged Optimization]

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

Read full text
Authors: Yuanzhuo Zhang
DOI: 10.5281/zenodo.19573062
Cited by: 1

Abstract

Please refer to the uploaded README.md. It provides step-by-step instructions to fully reproduce our results in the paper. [For the New Version]We have updated the README.md file and the StageSAT test scripts to improve the reusability of StageSAT. Please refer to the new 'StageSAT Specifications' section in the README.md for details.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
14 April 2026