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.0545425 - ÚI 2022 US eng V - Výzkumná zpráva
Savický, Petr
Examples of distance magic labelings of the 6-dimensional hypercube.
Cornell University, 2021. 3 s. arXiv.org e-Print archive, arXiv:2102.08212 [math.GM].
Institucionální podpora: RVO:67985807
https://arxiv.org/abs/2102.08212
Trvalý link: http://hdl.handle.net/11104/0322112 - 6.0504990 - ÚI 2020 DE eng V - Výzkumná zpráva
Savický, Petr
On determinism versus unambiquous nondeterminism for decision trees.
Trier, 2002. Electronic Colloquium on Computational Complexity, TR02-009. ISSN 1433-8092
Grant CEP: GA MŠMT LN00A056
https://eccc.weizmann.ac.il//report/2002/009/
Trvalý link: http://hdl.handle.net/11104/0296520 - 7.0465640 - ÚI 2017 CZ eng V - Výzkumná zpráva
Šíma, Jiří - Savický, Petr
Cut Languages in Rational Bases.
Prague: ICS CAS, 2016. 12 s. Technical Report, V-1236.
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: cut language * rational base * quassi-periodic power series
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0264101Název souboru Staženo Velikost Komentář Verze Přístup v1236-16.pdf 15 283 KB Jiná povolen - 8.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 - 9.0439176 - ÚI 2015 US eng V - Výzkumná zpráva
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467 - 10.0433894 - ÚI 2015 DE eng V - Výzkumná zpráva
Savický, Petr
Boolean functions with a vertex-transitive group of automorphisms.
Trier, 2013. 24 s. Electronic Colloquium on Computational Complexity, TR13-191. ISSN 1433-8092
Grant CEP: GA ČR GAP202/10/1333
Institucionální podpora: RVO:67985807
Klíčová slova: Boolean Functions * hypercube * isometric transformation * vertex-transitive group of automorphisms
Kód oboru RIV: BA - Obecná matematika
http://eccc.hpi-web.de/report/2013/191/
Trvalý link: http://hdl.handle.net/11104/0238058