Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.

Peter Habermehl, Vojtech Havlena, Michal Hecko, Luks Holk, Ondrej Lengl

Browse the full CAV paper archive.