Detail publikace

Cooking String-Integer Conversions with Noodles

HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a SÍČ Juraj. Cooking String-Integer Conversions with Noodles. In: Proceedings of SAT'24. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, s. 1-19. ISSN 1868-8969.
Název česky
Vaření převodů řetězců s nudlemi
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
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, IN
DOI
10.4230/LIPIcs.SAT.2024.14
BibTeX 
@INPROCEEDINGS{FITPUB13240,
   author = "Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c}",
   title = "Cooking String-Integer Conversions with Noodles",
   pages = "1--19",
   booktitle = "Proceedings of SAT'24",
   series = "Leibniz International Proceedings in Informatics (LIPIcs)",
   journal = "Leibniz International Proceedings in Informatics (LIPIcs)",
   number = 305,
   year = 2024,
   location = "Pune, IN",
   publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
   ISSN = "1868-8969",
   doi = "10.4230/LIPIcs.SAT.2024.14",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13240"
}
Nahoru