Aina Niemetz

Identifiers

• name variant Aina Niemetz 0.60 · backfill

Papers (5)

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

Mentions

• 2605.16820 #2 · arxiv_oai · confidence 0.70 Aina Niemetz

Frequent Coauthors

• Clark Barrett 5 shared papers
• Mathias Preiner 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