Mathias Preiner

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
IPASIR-up: user propagators for CDCL	2024-11-26	Paper
Invertibility conditions for floating-point formulas Computer Aided Verification	2024-02-16	Paper
Bitwuzla	2024-01-12	Paper
Solving quantified bit-vectors using invertibility conditions Computer Aided Verification	2023-05-05	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Towards satisfiability modulo parametric bit-vectors Journal of Automated Reasoning	2021-11-24	Paper
Syntax-guided quantifier instantiation	2021-10-18	Paper
On solving quantified bit-vector constraints using invertibility conditions Formal Methods in System Design	2021-08-30	Paper
Counterexample-Guided Model Synthesis Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
DRAT-based bit-vector proofs in CVC4 (available as arXiv preprint)	2020-05-20	Paper
Syntax-guided rewrite rule enumeration for SMT solvers	2020-05-20	Paper
Towards bit-width-independent proofs in SMT solvers (available as arXiv preprint)	2020-03-10	Paper
Precise and complete propagation based local search for satisfiability modulo theories Computer Aided Verification	2019-05-03	Paper
Propagation based local search for bit-precise reasoning Formal Methods in System Design	2018-01-08	Paper

Research outcomes over time

This page was built for person: Mathias Preiner