Published June 18, 2024
| Version v1
Software
Open
A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic (FM 2024 Artifact)
Description
This is an artifact containing supplementary material for the paper "A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic" by Valentin Promies and Erika Ábrahám, published at the 26th International Symposium on Formal Methods (FM'24).
For more information, consult the README.
Files
artifact.zip
Files
(941.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6ec16b9d11ad3876b68c8423448cfd78
|
941.6 MB | Preview Download |
|
md5:0681f6486f35bb214bde6b5c9d8671bc
|
4.7 kB | Preview Download |