Počet záznamů: 1
A Lower Bound on CNF Encodings of the At-most-one Constraint
- 1.
SYSNO 0494392 Název A Lower Bound on CNF Encodings of the At-most-one Constraint Tvůrce(i) Kučera, P. (CZ)
Savický, Petr (UIVT-O) SAI, RID, ORCID
Vorel, V. (CZ)Korespondující/senior Kučera, P. - Korespondující autor
Savický, Petr - Korespondující autor
Vorel, V. - Korespondující autorZdroj.dok. Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. - : Elsevier Druh dok. Článek v odborném periodiku Grant GA15-15511S, CZ - Česká republika GBP202/12/G061 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 Jazyk dok. eng Země vyd. NL Klíč.slova Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding URL http://dx.doi.org/10.1016/j.tcs.2018.09.003 Trvalý link http://hdl.handle.net/11104/0287600 Název souboru Staženo Velikost Komentář Verze Přístup a0494392.pdf 9 607.1 KB Vydavatelský postprint vyžádat
Počet záznamů: 1