HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:linear arithmetic

Papers
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)
Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 9606
Decidable linear list constraints
Sabine Bauer and Martin Hofmann
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.