Detail publikace

Antiprenexing for WSkS: A Little Goes a Long Way

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VALEŠ, O.; VOJNAR, T. Antiprenexing for WSkS: A Little Goes a Long Way. In EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020. p. 298-316. ISSN: 2398-7340.
Název česky
Antiprenexing pro WSkS: levné úpravy formulí mohou mít velký efekt
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)
Valeš Ondřej, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

antiprenexing, automata, preprocessing, weak monadic second-order logic, WSkS

Abstrakt

Tento článek ukazuje, že levné techniky předzpracování formulí WSkS dokáží znatelně ovlivnit čas řešení daných formulí.

Rok
2020
Strany
298–316
Sborník
EPiC Series in Computing
Řada
Proceedings of LPAR-23
Číslo
73
Vydavatel
EasyChair
Místo
Manchester
DOI
10.29007/6bfc
EID Scopus
2-s2.0-85096418643
BibTeX 
@inproceedings{BUT168130,
  author="Vojtěch {Havlena} and Lukáš {Holík} and Ondřej {Lengál} and Ondřej {Valeš} and Tomáš {Vojnar}",
  title="Antiprenexing for WSkS: A Little Goes a Long Way",
  booktitle="EPiC Series in Computing",
  year="2020",
  series="Proceedings of LPAR-23",
  number="73",
  pages="298--316",
  publisher="EasyChair",
  address="Manchester",
  doi="10.29007/6bfc",
  issn="2398-7340",
  url="https://www.fit.vut.cz/research/publication/12287/"
}
Nahoru