Beating brute force for (quantified) satisfiability of circuits of bounded treewidth

Počet záznamů: 1

1.

SYSNO	0489223
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, SAI}
Zdroj.dok.	Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. S. 247-261. - Philadelphia : SIAM, 2018 / Czumaj A.
Konference	Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2018), 07.01.2018 - 10.01.2018, New Orleans
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	algorithmic properties of circuits of bounded treewidth
Spolupracující instituce	University of Bergen (Norsko) University of California, San Diego (Spojené státy americké)
URL	https://epubs.siam.org/doi/abs/10.1137/1.9781611975031.18
Trvalý link	http://hdl.handle.net/11104/0283675

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak.pdf	2	624.9 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1