Výsledky vyhledávání
- 1.0583783 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Haniková, Zuzana - Manya, F. - Vidal, A.
The MaxSAT Problem in the Real-Valued MV-Algebra.
Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023 Proceedings. Cham: Springer, 2023 - (Ramanayake, R.; Urban, J.), s. 386-404. Lecture Notes in Computer Science, 14278. ISBN 978-3-031-43512-6. ISSN 0302-9743.
[TABLEAUX 2023: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /32./. Prague (CZ), 18.09.2024-21.09.2024]
Grant ostatní: AV ČR(CZ) CSIC-20-12
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807
Klíčová slova: Maximum satisfiability * Satisfiability * Łukasiewicz logic * MV-algebra
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-031-43513-3_21
Trvalý link: https://hdl.handle.net/11104/0351788Název souboru Staženo Velikost Komentář Verze Přístup 0583783-aoa.pdf 2 379.5 KB OA CC BY 4.0 Vydavatelský postprint povolen - 2.0570721 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations.
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Cham: Springer, 2023 - (Chechik, M.; Katoen, J.; Leucker, M.), s. 56-73. Lecture Notes in Computer Science, 14000. ISBN 978-3-031-27480-0. ISSN 0302-9743.
[FM 2023: International Symposium on Formal Methods /25./. Lübeck (DE), 06.03.2023-10.03.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: planning * scheduling * Boolean satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-27481-7_5
Trvalý link: https://hdl.handle.net/11104/0342060 - 3.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 - 4.0536431 - ÚI 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Kučera, P. - Savický, Petr
Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.
Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, 2021, s. 3832-3840. ISBN 978-1-57735-866-4.
[AAAI 2021. Conference on Artificial Intelligence /35./. Vancouver / Online (CA), 02.02.2021-09.02.2021]
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: Satisfiability * Knowledge Representation Languages
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ojs.aaai.org/index.php/AAAI/article/view/16501
Trvalý link: http://hdl.handle.net/11104/0314209Název souboru Staženo Velikost Komentář Verze Přístup aaai2021.JPG 0 106.2 KB Jiná vyžádat 0536431-aoa.pdf 4 149.9 KB Vydavatelský postprint vyžádat - 5.0531242 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
SAT Modulo Differential Equation Simulations.
Tests and Proofs. Cham: Springer, 2020 - (Ahrendt, W.; Wehrheim, H.), s. 80-99. Lecture Notes on Computer Science, 12165. ISBN 978-3-030-50994-1. ISSN 0302-9743.
[TAP 2020: The International Conference on Tests and Proofs /14./. Bergen (NO), 22.06.2020-23.06.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * Boolean satisfiability * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0309940 - 6.0476160 - MÚ 2018 RIV US eng J - Článek v odborném periodiku
de Oliveira Oliveira, Mateus
On the satisfiability of quantum circuits of small treewidth.
Theory of Computing Systems. Roč. 61, č. 2 (2017), s. 656-688. ISSN 1432-4350. E-ISSN 1433-0490
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: treewidth * satisfiability of quantum circuits * tensor networks * Merlin-Arthur protocols
Obor OECD: Pure mathematics
Impakt faktor: 0.458, rok: 2017
https://link.springer.com/article/10.1007%2Fs00224-016-9727-8
Trvalý link: http://hdl.handle.net/11104/0272693Název souboru Staženo Velikost Komentář Verze Přístup DeOliveiraOliveira.pdf 2 847.8 KB Vydavatelský postprint vyžádat - 7.0453988 - MÚ 2016 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
de Oliveira Oliveira, Mateus
On the satisfiability of quantum circuits of small treewidth.
Computer Science - Theory and Applications. Cham: Springer, 2015 - (Beklemishev, L.; Musatov, D.), s. 157-172. Lecture Notes in Computer Science, 9139. ISBN 978-3-319-20296-9. ISSN 0302-9743.
[International Computer Science Symposium in Russia, CSR 2015. Listvyanka (RU), 13.07.2015-17.07.2015]
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: treewidth * satisfiability of quantum circuits * tensor networks
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/chapter/10.1007%2F978-3-319-20297-6_11
Trvalý link: http://hdl.handle.net/11104/0254711Název souboru Staženo Velikost Komentář Verze Přístup Oliveira.pdf 2 324 KB Vydavatelský postprint vyžádat - 8.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 - 9.0439176 - ÚI 2015 US eng V - Výzkumná zpráva
Haniková, Zuzana - Savický, Petr
Term satisfiability in FLew-algebras.
Cornell University, 2015. 24 s. arXiv.org e-Print archive, arXiv:1501.02250 [cs.LO].
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
http://arxiv.org/abs/1501.02250
Trvalý link: http://hdl.handle.net/11104/0242467 - 10.0431690 - ÚI 2015 AT eng A - Abstrakt
Haniková, Zuzana - Savický, Petr
On satisfiability of terms in FLew-algebras.
Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014 - (Baaz, M.; Ciabattoni, A.; Hetzl, S.). s. 191-193
[LATD 2014. Logic, Algebra and Truth Degrees. 16.07.2014-19.07.2014, Vienna]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logic * Full Lambek calculus with exchange and weakening * satisfiability of terms
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0236274Název souboru Staženo Velikost Komentář Verze Přístup a0431690.pdf 0 431.1 KB Vydavatelský postprint povolen