Detail publikace

Antiprenexing for WSkS: A Little Goes a Long Way

HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej a VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, s. 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
angličtina
Autoři
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
Časopis
EPiC series in computing, č. 73, ISSN 2398-7340
Sborník
EPiC Series in Computing
Řada
Proceedings of LPAR-23
Konference
23rd International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Alicante, ES
Vydavatel
EasyChair
Místo
Manchester, GB
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12287,
   author = "Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Ond\v{r}ej Vale\v{s} and Tom\'{a}\v{s} Vojnar",
   title = "Antiprenexing for WSkS: A Little Goes a Long Way",
   pages = "298--316",
   booktitle = "EPiC Series in Computing",
   series = "Proceedings of LPAR-23",
   journal = "EPiC series in computing",
   number = 73,
   year = 2020,
   location = "Manchester, GB",
   publisher = "EasyChair",
   ISSN = "2398-7340",
   doi = "10.29007/6bfc",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12287"
}
Nahoru