Mathias Preiner

Identifiers

• name variant Mathias Preiner 0.60 · backfill

Papers (5)

1. Satisfiability Modulo Extensional Constant Arrays (Extended Version) cs.LO · 2026 · author #1
2. DRAT-based Bit-Vector Proofs in CVC4 cs.LO · 2019 · author #3
3. Towards Bit-Width-Independent Proofs in SMT Solvers cs.LO · 2019 · author #2
4. CVC4 at the SMT Competition 2018 cs.LO · 2018 · author #9
5. On Solving Quantified Bit-Vectors using Invertibility Conditions cs.LO · 2018 · author #2

Mentions

• 2605.16820 #1 · arxiv_oai · confidence 0.70 Mathias Preiner

Frequent Coauthors

• Aina Niemetz 5 shared papers
• Clark Barrett 5 shared papers
• Andrew Reynolds 3 shared papers
• Cesare Tinelli 3 shared papers
• Yoni Zohar 2 shared papers
• Alex Ozdemir 1 shared papers
• Andres N\"otzli 1 shared papers
• Duligur Ibeling 1 shared papers
• Haniel Barbosa 1 shared papers
• Martin Brain 1 shared papers
• Paul Meng 1 shared papers
• Tim King 1 shared papers