Počet záznamů: 1
A Lower Bound on CNF Encodings of the At-Most-One Constraint
- 1.
SYSNO 0478486 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 Zdroj.dok. Theory and Applications of Satisfiability Testing - SAT 2017. S. 412-428. - Cham : Springer, 2017 / Gaspers S. ; Walsh T. Konference SAT 2017. International Conference on Theory and Applications of Satisfiability Testing /20./, 28.08.2017, Melbourne - 01.09.2017 Druh dok. Konferenční příspěvek (zahraniční konf.) 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. CH Klíč.slova Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding Trvalý link http://hdl.handle.net/11104/0274603 Název souboru Staženo Velikost Komentář Verze Přístup 0478486.pdf 2 801.7 KB Autorský preprint povolen a0478486.pdf 4 310.6 KB Vydavatelský postprint vyžádat
Počet záznamů: 1