Savický Petr

Publikace ASEP

RIV ID 3559491               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 6

0439177 - UIVT-O 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
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * FLew-algebra * MV-algebra * satisfiability * computational complexity
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Pure mathematics
Impakt faktor: 0.698, rok: 2016
Haniková, Zuzana
Trvalý odkaz: http://hdl.handle.net/11104/0242470

0478486 - UIVT-O 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr - Vorel, V.
A Lower Bound on CNF Encodings of the At-Most-One Constraint.
Theory and Applications of Satisfiability Testing - SAT 2017. Cham: Springer, 2017 - (Gaspers, S.; Walsh, T.), s. 412-428. Lecture Notes in Computer Science, 10491. ISBN 978-3-319-66262-6. ISSN 0302-9743.
[SAT 2017. International Conference on Theory and Applications of Satisfiability Testing /20./. Melbourne (AU), 28.08.2017-01.09.2017]
Grant CEP: GA ČR GBP202/12/G061
GA ČR(CZ) GA15-15511S
Institucionální podpora: RVO:67985807
Klíčová slova: Knowledge compilation * Cardinality constraint * At most one constraint * Propagation complete encoding
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Kučera, P.
Trvalý odkaz: http://hdl.handle.net/11104/0274603

0450591 - UIVT-O 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
Grant CEP: GA ČR GBP202/12/G061
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ý odkaz: http://hdl.handle.net/11104/0251864

0480888 - UIVT-O 2018 DE eng C - Konferenční příspěvek (zahraniční konf.)
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
Grant CEP: GA ČR GBP202/12/G061
GA ČR 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
https://www.ijcai.org/proceedings/2017/0721.pdf
Trvalý odkaz: http://hdl.handle.net/11104/0276554

0467765 - UIVT-O 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Šíma, Jiří - Savický, Petr
Cut Languages in Rational Bases.
Language and Automata Theory and Applications. Cham: Springer, 2017 - (Drews, F.; Martín-Vide, C.; Truthe, B.), s. 311-322. Lecture Notes in Computer Science, 10168. ISBN 978-3-319-53732-0. ISSN 0302-9743.
[LATA 2017. International Conference on Language and Automata Theory and Applications /11./. Umea (SE), 06.03.2017-09.03.2017]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: grammars * quasi-periodic power series * cut language
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Šíma, Jiří
Trvalý odkaz: http://hdl.handle.net/11104/0265800

0482160 - UIVT-O 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
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
Kód oboru RIV: IN - Informatika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.772, rok: 2017
Trvalý odkaz: http://hdl.handle.net/11104/0277554