- Complete Functional Synthesis Viktor Kuncak Mikael Mayer Ruzica Piskac Philippe Suter Mon 14 February 2022
- Deciding Polynomial-Exponential Problems Melanie Achatz Scott McCallum Volker Weispfenning Wed 06 May 2020
- An Effective Decision Procedure for Linear Arithmetic over the Integers and Reals Bernard Boigelot Sébastien Jodogne Pierre Wolper Thu 04 April 2019
- Deciding polynomial-transcendental problems Scott McCallum Volker Weispfenning Mon 03 September 2018
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
