Výsledky vyhledávání
- 1.0545429 - ÚI 2022 US eng V - Výzkumná zpráva
Kučera, P. - Savický, Petr - Vorel, V.
A lower bound on CNF encodings of the at-most-one constraint.
Cornell University, 2017. 38 s. arXiv.org e-Print archive, arXiv:1704.08934 [cs.CC].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/1704.08934
Trvalý link: http://hdl.handle.net/11104/0322116 - 2.0545428 - ÚI 2022 US eng V - Výzkumná zpráva
Kučera, P. - Savický, Petr
Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.
Cornell University, 2018. 21 s. arXiv.org e-Print archive, arXiv:1811.09435 [cs.AI].
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/1811.09435
Trvalý link: http://hdl.handle.net/11104/0322115 - 3.0545427 - ÚI 2022 US eng V - Výzkumná zpráva
Kučera, P. - Savický, Petr
Propagation complete encodings of smooth DNNF theories.
Cornell University, 2019. 38 s. arXiv.org e-Print archive, arXiv:1909.06673 [cs.AI].
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/1909.06673
Trvalý link: http://hdl.handle.net/11104/0322114 - 4.0545426 - ÚI 2022 US eng V - Výzkumná zpráva
Kučera, P. - Savický, Petr
Bounds on the size of PC and URC formulas.
Cornell University, 2020. 24 s. arXiv.org e-Print archive, arXiv:2001.00819 [cs.LO].
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/2001.00819
Trvalý link: http://hdl.handle.net/11104/0322113 - 5.0456463 - ÚGN 2017 CZ cze V - Výzkumná zpráva
Verner, K. - Bukovská, Z. - Souček, Kamil - Vavro, Martin - Staš, Lubomír - Kaláb, Zdeněk - Havlová, V. - Kučera, P.
Komplexní geologická charakterizace prostorů PVP Bukov.
Ostrava: SÚRAO, 2015. 226 s.
Institucionální podpora: RVO:68145535
Klíčová slova: anisotropy of magnetic susceptibility * geological map * petrology
Kód oboru RIV: DH - Báňský průmysl vč. těžby a zpracování uhlí
Trvalý link: http://hdl.handle.net/11104/0260707 - 6.0440854 - ÚI 2015 US eng V - Výzkumná zpráva
Čepek, O. - Kučera, P. - Savický, Petr
Boolean Functions with a Simple Certificate for CNF Complexity..
Piscataway: Rutgers Center for Operations Research, 2010. 30 s. Technical Report, RRR 2-2010.
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: GA ČR GP201/07/P168; GA ČR GA201/07/0205
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Boolean functions * CNF representations
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0243946Název souboru Staženo Velikost Komentář Verze Přístup 02_2010.pdf 0 873 KB Jiná povolen