Publications
-
2025
CHEN Yu-Fang, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. A Uniform Framework for Handling Position Constraints in String Solving. Proceedings of the ACM on Programming Languages, vol. 9, no. 169, 2025, pp. 550-575. ISSN 2475-1421.
Detail -
2024
HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024, pp. 42-67. ISSN 0302-9743.
Detail