Search results
- 1.0545961 - ÚI 2022 US eng V - Research Report
Hartman, David - Aranda, A.
Morphism extension classes of countable L-colored graphs.
Cornell University, 2018. 12 s. arXiv.org e-Print archive, arXiv:1805.01781 [math.CO].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
https://arxiv.org/abs/1805.01781
Permanent Link: http://hdl.handle.net/11104/0322567 - 2.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 - 3.0504982 - ÚI 2020 US eng V - Research Report
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logic of left variable inclusion and Plonka sums of matrices.
Cornell University, 2018. arXiv.org e-Print archive, arXiv:1804.08897 [math.LO].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
OECD category: Pure mathematics
https://arxiv.org/abs/1804.08897
Permanent Link: http://hdl.handle.net/11104/0296514 - 4.0486590 - ÚI 2018 US eng V - Research Report
Klimošová, T. - Piguet, Diana - Rozhoň, Václav
A version of the Loebl-Komlós-Sós conjecture for skewed trees.
Cornell University, 2018. 28 s. arXiv.org e-Print archive, arXiv:1802.00679 [math.CO].
R&D Projects: GA ČR GJ16-07822Y; GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : extremal graph theory * tree embedding * Loebl-Komlos-Sos conjecture * regularity lemma
Subject RIV: BA - General Mathematics
https://arxiv.org/abs/1802.00679
Permanent Link: http://hdl.handle.net/11104/0281354 - 5.0465640 - ÚI 2017 CZ eng V - Research Report
Šíma, Jiří - Savický, Petr
Cut Languages in Rational Bases.
Prague: ICS CAS, 2016. 12 s. Technical Report, V-1236.
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : cut language * rational base * quassi-periodic power series
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0264101File Download Size Commentary Version Access v1236-16.pdf 15 283 KB Other open-access - 6.0465639 - ÚI 2017 CZ eng V - Research Report
Šíma, Jiří
Neural Networks Between Integer and Rational Weights.
Prague: ICS CAS, 2016. 8 s. Technical Report, V-1237.
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : neural networks * analog unit * rational weight * cut languages * computational power
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0264100File Download Size Commentary Version Access v1237-16.pdf 15 327.1 KB Other open-access - 7.0439176 - ÚI 2015 US eng V - Research Report
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Subject RIV: BA - General Mathematics
http://arxiv.org/abs/1501.02250
Permanent Link: http://hdl.handle.net/11104/0242467