Mathias Preiner

From MaRDI portal
Person:1688545

Available identifiers

zbMath Open preiner.mathiasMaRDI QIDQ1688545

List of research outcomes





PublicationDate of PublicationType
IPASIR-up: user propagators for CDCL2024-11-26Paper
Invertibility conditions for floating-point formulas2024-02-16Paper
Bitwuzla2024-01-12Paper
Solving quantified bit-vectors using invertibility conditions2023-05-05Paper
Flexible proof production in an industrial-strength SMT solver2022-12-07Paper
Towards satisfiability modulo parametric bit-vectors2021-11-24Paper
Syntax-guided quantifier instantiation2021-10-18Paper
On solving quantified bit-vector constraints using invertibility conditions2021-08-30Paper
Counterexample-Guided Model Synthesis2020-08-05Paper
DRAT-based bit-vector proofs in CVC42020-05-20Paper
Syntax-guided rewrite rule enumeration for SMT solvers2020-05-20Paper
Towards bit-width-independent proofs in SMT solvers2020-03-10Paper
Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories2019-05-03Paper
Propagation based local search for bit-precise reasoning2018-01-08Paper

Research outcomes over time

This page was built for person: Mathias Preiner

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1688545&oldid=6483161"
Powered by MediaWiki