Počet záznamů: 1
Beating brute force for (quantified) satisfiability of circuits of bounded treewidth
- 1.
SYSNO ASEP 0489223 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Beating brute force for (quantified) satisfiability of circuits of bounded treewidth Tvůrce(i) Lokshtanov, D. (NO)
Mikhailin, I. (US)
Ramamohan, P. (US)
Pudlák, Pavel (MU-W) RID, SAIZdroj.dok. Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. - Philadelphia : SIAM, 2018 / Czumaj A. - ISBN 978-1-61197-503-1 Rozsah stran s. 247-261 Poč.str. 15 s. Forma vydání Online - E Akce Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018) Datum konání 07.01.2018 - 10.01.2018 Místo konání New Orleans Země US - Spojené státy americké Typ akce WRD Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova algorithmic properties of circuits of bounded treewidth Vědní obor RIV IN - Informatika Obor OECD Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Institucionální podpora MU-W - RVO:67985840 UT WOS 000483921200018 EID SCOPUS 85045552508 DOI https://doi.org/10.1137/1.9781611975031.18 Anotace We investigate the algorithmic properties of circuits of bounded treewidth. Here the treewidth of a circuit C is defined as the treewidth of the underlying undirected graph of C, after the vertices corresponding to input gates have been removed. Thus, boolean formulae correspond to circuits of treewidth 1. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2019
Počet záznamů: 1