Login / Signup

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.

Peter HabermehlVojtech HavlenaMichal HeckoLukás HolíkOndrej Lengál
Published in: CAV (1) (2024)
Keyphrases
  • integer arithmetic
  • interval arithmetic
  • knowledge base
  • constraint propagation
  • euclidean distance transform
  • finite state machines