FPL: fast Presburger arithmetic through transprecision

Open Webpage

Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler, Tobias Grosser

Published: 2021, Last Modified: 21 Jan 2026Proc. ACM Program. Lang. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0