Martin Jonáš

Available identifiers

zbMath Open jonas.martinMaRDI QIDQ831941

List of research outcomes

Publication	Date of Publication	Type
Truncating abstraction of bit-vector operations for BDD-based SMT solvers	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	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	2016-09-05	Paper

Research outcomes over time

This page was built for person: Martin Jonáš