Aina Niemetz

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Bitwuzla

Aina Niemetz and others (2023) · Springer Nature Switzerland

Syntax-Guided Quantifier Instantiation

Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer

Bitwuzla at the SMT-COMP 2020

Aina Niemetz and others (2020) · CoRR, abs/2006.01621

Btor2 , BtorMC and Boolector 3.0

Aina Niemetz and others (2018) · Lecture notes in computer science · Springer Science+Business Media