RNDr. Martin Jonáš, Ph.D.

2018

• Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2018, rok: 2018

• Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2018

• On the complexity of the quantified bit-vector arithmetic with binary encoding

  JONÁŠ Martin STREJČEK Jan

  Článek v odborném periodiku

  Information Processing Letters, rok: 2018, ročník: 135, vydání: červenec 2018, DOI

2017

• On Simplification of Formulas with Unconstrained Variables and Quantifiers

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  Theory and Applications of Satisfiability Testing – SAT 2017, rok: 2017

• Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)

  MRÁZEK Jan JONÁŠ Martin ŠTILL Vladimír LAUKO Henrich BARNAT Jiří

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, rok: 2017

• Symbiotic 4: Beyond Reachability (Competition Contribution)

  CHALUPA Marek VITOVSKÁ Martina JONÁŠ Martin SLABÝ Jiří STREJČEK Jan

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, rok: 2017

2016

• Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, rok: 2016

• Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

  CHALUPA Marek JONÁŠ Martin SLABÝ Jiří STREJČEK Jan VITOVSKÁ Martina

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, rok: 2016