Detail publikace

Cooking String-Integer Conversions with Noodles

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Cooking String-Integer Conversions with Noodles. Proceedings of SAT'24. Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. p. 1-19. ISSN: 1868-8969.
Název česky
Vaření převodů řetězců s nudlemi
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
Klíčová slova

string solving, string conversions, SMT solving

Abstrakt

Tento článek rozšiřuje stabilizační proceduru pro řešení základních řetězcových
omezení o řešení převodů mezi řetězci a čísly. Navržený přístup je založen na
nahrazení převodů LIA formulemi. Algoritmus by implementován v nástroji
Z3-Noodler a experimentální vyhodnocení ukázalo, že náš přístup je na mnohých
příkladech rychlejší než ostatní existující metody.

Rok
2024
Strany
1–19
Časopis
Leibniz International Proceedings in Informatics, LIPIcs, č. 305, ISSN 1868-8969
Sborník
Proceedings of SAT'24
Řada
Leibniz International Proceedings in Informatics (LIPIcs)
Konference
The 27th International Conference on Theory and Applications of Satisfiability Testing, Pune, IN
Vydavatel
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Místo
Pune
DOI
10.4230/LIPIcs.SAT.2024.14
BibTeX 
@inproceedings{BUT189244,
  author="Vojtěch {Havlena} and Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč}",
  title="Cooking String-Integer Conversions with Noodles",
  booktitle="Proceedings of SAT'24",
  year="2024",
  series="Leibniz International Proceedings in Informatics (LIPIcs)",
  journal="Leibniz International Proceedings in Informatics, LIPIcs",
  number="305",
  pages="1--19",
  publisher="Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
  address="Pune",
  doi="10.4230/LIPIcs.SAT.2024.14",
  issn="1868-8969"
}
Nahoru