HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:linear arithmetic

Publications
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version)
Johannes Schoisswohl, Laura Kovács and Konstantin Korovin
EasyChair Preprint 13150
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)
Konstantin Korovin, Laura Kovacs, Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint 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-2025 easychair.org. All rights reserved.