Search results
- 1.0545429 - ÚI 2022 US eng V - Research Report
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].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
https://arxiv.org/abs/1704.08934
Permanent Link: http://hdl.handle.net/11104/0322116 - 2.0545428 - ÚI 2022 US eng V - Research Report
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].
R&D Projects: GA ČR(CZ) GA19-19463S
Institutional support: RVO:67985807
https://arxiv.org/abs/1811.09435
Permanent Link: http://hdl.handle.net/11104/0322115 - 3.0545427 - ÚI 2022 US eng V - Research Report
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].
R&D Projects: GA ČR(CZ) GA19-19463S
Institutional support: RVO:67985807
https://arxiv.org/abs/1909.06673
Permanent Link: http://hdl.handle.net/11104/0322114 - 4.0545426 - ÚI 2022 US eng V - Research Report
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].
R&D Projects: GA ČR(CZ) GA19-19463S
Institutional support: RVO:67985807
https://arxiv.org/abs/2001.00819
Permanent Link: http://hdl.handle.net/11104/0322113 - 5.0456463 - ÚGN 2017 CZ cze V - Research Report
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.
Institutional support: RVO:68145535
Keywords : anisotropy of magnetic susceptibility * geological map * petrology
Subject RIV: DH - Mining, incl. Coal Mining
Permanent Link: http://hdl.handle.net/11104/0260707 - 6.0440854 - ÚI 2015 US eng V - Research Report
Č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.
R&D Projects: GA MŠMT(CZ) 1M0545
Grant - others:GA ČR GP201/07/P168; GA ČR GA201/07/0205
Institutional research plan: CEZ:AV0Z10300504
Keywords : Boolean functions * CNF representations
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0243946File Download Size Commentary Version Access 02_2010.pdf 0 873 KB Other open-access