Search results
- 1.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 - 2.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 - 3.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