Výsledky vyhledávání
- 1.0559241 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Propagation Complete Encodings of Smooth DNNF Theories.
Constraints. Roč. 27, č. 3 (2022), s. 327-359. ISSN 1383-7133. E-ISSN 1572-9354
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10601-022-09331-2
Trvalý link: https://hdl.handle.net/11104/0332581 - 2.0536433 - ÚI 2021 RIV US eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Bounds on the Size of PC and URC Formulas.
Journal of Artificial Intelligence Research. Roč. 69, 24 December (2020), s. 1395-1420. ISSN 1076-9757. E-ISSN 1943-5037
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: automated reasoning * knowledge representation * satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 2.776, rok: 2020
Způsob publikování: Open access
Trvalý link: http://hdl.handle.net/11104/0314210Název souboru Staženo Velikost Komentář Verze Přístup 0536433-afin.pdf 2 294.1 KB OA casopis Vydavatelský postprint povolen - 3.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 - 4.0482160 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Šíma, Jiří - Savický, Petr
Quasi-Periodic beta-Expansions and Cut Languages.
Theoretical Computer Science. Roč. 720, 11 April (2018), s. 1-23. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: beta-expansion * quasi-periodicity * Pisot number * cut language * Chomsky hierarchy
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.718, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0277554Název souboru Staženo Velikost Komentář Verze Přístup 0482160.pdf 6 1.2 MB Autorský preprint povolen a0482160.pdf 8 686.3 KB Vydavatelský postprint vyžádat - 5.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 - 6.0439177 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana - Savický, Petr
Term Satisfiability in FLew-Algebras.
Theoretical Computer Science. Roč. 631, 6 June (2016), s. 1-15. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.698, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0242470Název souboru Staženo Velikost Komentář Verze Přístup a0439177.pdf 8 496.2 KB Vydavatelský postprint vyžádat - 7.0405663 - UIVT-O 336045 RIV US eng J - Článek v odborném periodiku
Krause, M. - Savický, Petr - Wegener, I.
On the Influence of the Variable Ordering for Algorithmic Learning using OBDDs.
[Vliv uspořádání proměnných na algoritmické učení pomocí OBDD.]
Information and Computation. Roč. 201, č. 2 (2005), s. 160-177. ISSN 0890-5401. E-ISSN 1090-2651
Grant CEP: GA ČR GA201/98/0717
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: OBDD * variable ordering * algorithmic learning
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.053, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125803 - 8.0405528 - UIVT-O 330906 RIV NL eng J - Článek v odborném periodiku
Savický, Petr - Sieling, D.
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism.
[Výsledek o hierarchii pro read-once rozhodovací diagramy s omezeným nedeterminismem paritního typu.]
Theoretical Computer Science. Roč. 340, č. 3 (2005), s. 594-605. ISSN 0304-3975. E-ISSN 1879-2294
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: read-once branching programs * restricted parity nondeterminism * lower bounds on complexity * hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.743, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125686 - 9.0404774 - UIVT-O 20030119 RIV NL eng J - Článek v odborném periodiku
Savický, Petr - Hlaváčová, J.
Measures of Word Commonness.
Journal of Quantitative Linguistics. Roč. 9, č. 3 (2002), s. 215-231. ISSN 0929-6174. E-ISSN 1744-5035
Grant CEP: GA ČR GA201/00/1482
Výzkumný záměr: AV0Z1030915
Klíčová slova: language corpus * frequency * measures of commonness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125008 - 10.0404654 - UIVT-O 220520 CZ cze J - Článek v odborném periodiku
Janoušek, J. - Brichcín, M. - Hnilica, K. - Savický, Petr
Výzkum komunikačních procesů při společné činnosti v podmínkávh počítačové sítě.
Československá psychologie. Roč. 39, č. 1 (1995), s. 40-51. ISSN 0009-062X. E-ISSN 1804-6436
Klíčová slova: communication * cooperation * computer network * consensus
Impakt faktor: 0.122, rok: 1995
Trvalý link: http://hdl.handle.net/11104/0124894