Antti E. J. Hyvärinen
发表
Ilkka Niemelä,
Tommi Junttila,
Antti E. J. Hyvärinen,
2009,
J. Satisf. Boolean Model. Comput..
Antti E. J. Hyvärinen,
2009
.
Natasha Sharygina,
Jan Kofroň,
Martin Blicha,
2021,
Int. J. Softw. Tools Technol. Transf..
Patrick Eugster,
Natasha Sharygina,
Rodrigo Otoni,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Matteo Marescotti,
Leonardo Alt,
Antti E. J. Hyvärinen,
2016
.