Antti Eero Johannes Hyvärinen

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 2

Top Venues

FMCAD

SAT

ISSTA

CSMR

Aalto University, Helsinki, Finland (PHD)

Education History

Aalto University, Helsinki, Finland

PHD

Publications

Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD (2017)
Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina
Designing parallel PDR. FMCAD (2017)
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
Verification-aided regression testing. ISSTA (2014)
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR (2013)
Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR (2013)
Antti Eero Johannes Hyvärinen, Norbert Manthey
Designing Scalable Parallel SAT Solvers. SAT (2012)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Partitioning Search Spaces of a Randomized Search. Fundam. Informaticae 107 (2-3) (2011)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. CP (2011)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Partitioning SAT Instances for Distributed Solving. LPAR (Yogyakarta) (2010)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Partitioning Search Spaces of a Randomized Search. AI*IA (2009)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Incorporating Clause Learning in Grid-Based Randomized SAT Solving. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Strategies for Solving SAT in Grids by Randomized Search. AISC/MKM/Calculemus (2008)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
Incorporating Learning in Grid-Based Randomized SAT Solving. AIMSA (2008)
Mikko Juhani Pitkänen, Xin Zhou, Antti Eero Johannes Hyvärinen, Henning Müller
Using the Grid for Enhancing the Performance of a Medical Image Search Engine. CBMS (2008)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
A Distribution Method for Solving SAT in Grids. SAT (2006)

Antti Eero Johannes Hyvärinen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antti Eero Johannes Hyvärinen