RNDr. Martin Jonáš, Ph.D.
Assistant professor, Department of Computer Science
Office: C415
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 5086 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 18
2018
-
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
Theoretical Aspects of Computing – ICTAC 2018, year: 2018
-
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2018
-
On the complexity of the quantified bit-vector arithmetic with binary encoding
Information Processing Letters, year: 2018, volume: 135, edition: červenec 2018, DOI
2017
-
On Simplification of Formulas with Unconstrained Variables and Quantifiers
Theory and Applications of Satisfiability Testing – SAT 2017, year: 2017
-
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, year: 2017
-
Symbiotic 4: Beyond Reachability (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, year: 2017
2016
-
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, year: 2016
-
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, year: 2016