Výsledky vyhledávání
- 1.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 - 2.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