Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2021

  1. MRÁZEK, Jan, Martin JONÁŠ a Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 2021. s. 6935-6940. doi:10.1109/IROS51168.2021.9636534.
  2. 2020

  3. JONÁŠ, Martin a Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer, 2020. s. 378-393. ISBN 978-3-030-51824-0. doi:10.1007/978-3-030-51825-7_27.
  4. 2019

  5. JONÁŠ, Martin a Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer, 2019. s. 64-73. ISBN 978-3-030-25542-8. doi:10.1007/978-3-030-25543-5_4.
  6. 2018

  7. JONÁŠ, Martin a Jan STREJČEK. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018. s. 273-291. ISBN 978-3-030-02507-6. doi:10.1007/978-3-030-02508-3_15.
  8. JONÁŠ, Martin a Jan STREJČEK. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EasyChair, 2018. s. 488-497. ISSN 2398-7340. doi:10.29007/spnx.
  9. JONÁŠ, Martin a Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, roč. 135, červenec 2018, s. 57-61. ISSN 0020-0190. doi:10.1016/j.ipl.2018.02.018.
  10. 2017

  11. JONÁŠ, Martin a Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer, 2017. s. 364-379. ISBN 978-3-319-66262-6. doi:10.1007/978-3-319-66263-3_23.
  12. MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO a Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017. s. 390-393. ISBN 978-3-662-54579-9. doi:10.1007/978-3-662-54580-5_29.
  13. CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg, 2017. s. 385-389. ISBN 978-3-662-54580-5. doi:10.1007/978-3-662-54580-5_28.
  14. 2016

  15. JONÁŠ, Martin a Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer, 2016. s. 267-283. ISBN 978-3-319-40969-6. doi:10.1007/978-3-319-40970-2_17.
  16. CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK a Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016. s. 946-949. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_67.
Zobrazit podrobně
Zobrazeno: 19. 1. 2022 17:54