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.
DetailHAVLENA Vojtěch, HEčKO Michal, HOLíK Lukáš and LENGáL Ondřej. Negated String Containment is Decidable. In: 50th International Symposium on Mathematical Foundations of Computer Science. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2025. ISSN 1868-8969.
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