Author:René Thiemann
Keyphrasescomplexity, DPLL(T), formalization, Isabelle/HOL3, lattice basis reduction, Linear Rational Arithmetic, simplification order, termination analysis, theory solver, unsatisfiable core. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |