Vytisknout
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
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