Login / Signup
Michal Hecko
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Multiscale
Euclidean Distance Transform
Integer Arithmetic
Top Venues
CoRR
CAV (1)
</>
Publications
</>
Peter Habermehl
,
Vojtech Havlena
,
Michal Hecko
,
Lukás Holík
,
Ondrej Lengál
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.
CAV (1)
(2024)
Peter Habermehl
,
Michal Hecko
,
Vojtech Havlena
,
Lukás Holík
,
Ondrej Lengál
Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic.
CoRR
(2024)