Výsledky vyhledávání
- 1.0494392 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-most-one Constraint.
Theoretical Computer Science. Roč. 762, March (2019), s. 51-73. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.747, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.tcs.2018.09.003
Trvalý link: http://hdl.handle.net/11104/0287600Název souboru Staženo Velikost Komentář Verze Přístup a0494392.pdf 9 607.1 KB Vydavatelský postprint vyžádat - 2.0450591 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula with a Polynomial Delay.
Journal of Artificial Intelligence Research. Roč. 56, č. 6 (2016), s. 379-402. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR GBP202/12/G061
Grant ostatní: GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: conjunctive normal form * matched formula * pure literal satisfiable formula
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.284, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0251864Název souboru Staženo Velikost Komentář Verze Přístup a0450591.pdf 7 237 KB Vydavatelský postprint vyžádat