Michal Hečko
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
2024/03/27 by Peter Habermehl, Habermehl, Peter, Vojtěch Havlena +7 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Numerical Methods and Algorithms #Polynomial and algebraic computation