Mathias Preiner
发表
C. Barrett,
C. Tinelli,
Andrew Reynolds,
2018
.
Christoph M. Kirsch,
Armin Biere,
Aina Niemetz,
2013,
POS@SAT.
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2019,
SAT.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015
.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2017,
SMT.
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2019,
CAV.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015
.
Clark W. Barrett,
C. Barrett,
C. Tinelli,
2022,
TACAS.
Clark W. Barrett,
C. Tinelli,
Andrew Reynolds,
2022,
2022 Formal Methods in Computer-Aided Design (FMCAD).
Cesare Tinelli,
Aina Niemetz,
Mathias Preiner,
2021,
TACAS.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2015,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2017,
TACAS.
Clark W. Barrett,
Aina Niemetz,
Mathias Preiner,
2022,
CAV.
Aina Niemetz,
Mathias Preiner,
Gereon Kremer,
2021,
CAV.
Aina Niemetz,
Mathias Preiner,
Aina Niemetz,
2020,
ArXiv.
Aina Niemetz,
Mathias Preiner,
Vijay Ganesh,
2021,
TACAS.
Aina Niemetz,
Mathias Preiner,
Saeed Nejati,
2023,
International Journal on Software Tools for Technology Transfer.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2018,
CAV.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2011
.
Clark W. Barrett,
C. Tinelli,
Alex Ozdemir,
2022,
IJCAR.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2023,
SAT.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2012,
SAT.
Armin Biere,
Aina Niemetz,
Mathias Preiner,
2018,
CAV.