Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.

Peter Habermehl Michal Hecko Vojtech Havlena Lukás Holík Ondrej Lengál

Published in: CoRR (2024)

Keyphrases

integer arithmetic
euclidean distance transform
finite state machines
knowledge base
interval arithmetic
multiscale