List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Truncating abstraction of bit-vector operations for BDD-based SMT solvers Theoretical Computer Science | 2024-08-20 | Paper |
| Efficient analysis of cyclic redundancy architectures via Boolean fault propagation | 2024-02-01 | Paper |
| Analysis of cyclic fault propagation via ASP | 2023-04-04 | Paper |
| Optimization modulo non-linear arithmetic via incremental linearization | 2022-03-24 | Paper |
| Speeding up quantified bit-vector SMT solvers by bit-width reductions and extensions | 2021-04-07 | Paper |
| Abstraction of bit-vector operations for BDD-based SMT solvers | 2018-11-23 | Paper |
| On the complexity of the quantified bit-vector arithmetic with binary encoding Information Processing Letters | 2018-04-05 | Paper |
| On simplification of formulas with unconstrained variables and quantifiers | 2017-11-15 | Paper |
| Solving quantified bit-vector formulas using binary decision diagrams Theory and Applications of Satisfiability Testing – SAT 2016 | 2016-09-05 | Paper |
Research outcomes over time
This page was built for person: Martin Jonáš
