Concepedia

Aina Niemetz

AN

Statistics

Publications

10

Citations

297

H-Index

10

Active since

2012

Affiliations

Johannes Kepler University of Linz(Current)

Stanford University

Aina Niemetz is an author at Johannes Kepler University of Linz specializing in computer science, computing, and computer engineering.

Publications per year

2012–2023

10

Publications

10

Boolector 2.0

Aina Niemetz, Mathias Preiner, Armin Biere · Journal on Satisfiability Boolean Modeling and Computation · 2015 · 126 citations · Full text

Computing, Computer Engineering, Computer Science +2

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe et al. · Journal on Satisfiability Boolean Modeling and Computation · 2019 · 32 citations · Full text

Computing, Computer Science, Mathematics +9

Creating an Agile Hardware Design Flow

Rick Bahr, Clark Barrett, Nikhil Bhagdikar et al. · 2020 · 27 citations

Engineering, Computer Engineering, Computer Science +17

A.: Resolution-based certificate extraction for QBF (tool presentation

Aina Niemetz, Mathias Preiner, Florian Lonsing et al. · 2012 · 24 citations

Computing, Computer Science, Cryptography +16

Propagation based local search for bit-precise reasoning

Aina Niemetz, Mathias Preiner, Armin Biere · Formal Methods in System Design · 2017 · 20 citations · Full text

Computing, Computer Science, Algorithms +15

1–5 of 10