Antti Eero Johannes Hyvrinen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2006–2017
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FMCAD | Duality-based interpolation for quantifier-free equalities and uninterpreted functions. | Leonardo Alt, Antti Eero Johannes Hyvrinen, Sepideh Asadi, Natasha Sharygina |
| 2017 | FMCAD | Designing parallel PDR. | Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2014 | ISSTA | Verification-aided regression testing. | Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvrinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad |
| 2013 | LPAR | PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvrinen, Natasha Sharygina |
| 2012 | SAT | Designing Scalable Parallel SAT Solvers. | Antti Eero Johannes Hyvrinen, Norbert Manthey |
| 2011 | CP | Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2010 | LPAR | Partitioning SAT Instances for Distributed Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | AIMSA | Incorporating Learning in Grid-Based Randomized SAT Solving. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | AISC | Strategies for Solving SAT in Grids by Randomized Search. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |
| 2008 | CBMS | Using the Grid for Enhancing the Performance of a Medical Image Search Engine. | Mikko Juhani Pitknen, Xin Zhou, Antti Eero Johannes Hyvrinen, Henning Mller |
| 2006 | SAT | A Distribution Method for Solving SAT in Grids. | Antti Eero Johannes Hyvrinen, Tommi A. Junttila, Ilkka Niemel |