Niemetz, Aina

1. CVC4 at the SMT Competition 2018
   2018/06/20 by Clark Barrett, Barrett, Clark, Haniel Barbosa +19 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
2. Towards Bit-Width-Independent Proofs in SMT Solvers
   2019/05/24 by Niemetz, Aina, Preiner, Mathias, Reynolds, Andrew +3 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Bitwuzla at the SMT-COMP 2020
   2020/05/30 by Aina Niemetz, Niemetz, Aina, Mathias Preiner +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Numerical Methods and Algorithms