HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:René Thiemann

Publications
Efficient Formalization of Simplification Orders
René Thiemann and Akihisa Yamada
EasyChair Preprint no. 8639
Extending a Verified Simplex Algorithm
René Thiemann
In:LPAR-22 Workshop and Short Paper Proceedings
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm
Ralph Bottesch, Max W. Haslbeck and René Thiemann
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

complexity, DPLL(T), formalization, Isabelle/HOL3, lattice basis reduction, Linear Rational Arithmetic, simplification order, termination analysis, theory solver, unsatisfiable core.

Copyright © 2012-2023 easychair.org. All rights reserved.