Košík

    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
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše