Mathias Preiner

Available identifiers

zbMath Open preiner.mathiasMaRDI QIDQ1688545

List of research outcomes

Publication	Date of Publication	Type
Invertibility conditions for floating-point formulas	2024-02-16	Paper
Solving quantified bit-vectors using invertibility conditions	2023-05-05	Paper
Flexible proof production in an industrial-strength SMT solver	2022-12-07	Paper
Towards satisfiability modulo parametric bit-vectors	2021-11-24	Paper
Syntax-guided quantifier instantiation	2021-10-18	Paper
On solving quantified bit-vector constraints using invertibility conditions	2021-08-30	Paper
Counterexample-Guided Model Synthesis	2020-08-05	Paper
Syntax-guided rewrite rule enumeration for SMT solvers	2020-05-20	Paper
DRAT-based bit-vector proofs in CVC4	2020-05-20	Paper
Towards bit-width-independent proofs in SMT solvers	2020-03-10	Paper
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories	2019-05-03	Paper
Propagation based local search for bit-precise reasoning	2018-01-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mathias Preiner