×

zbMATH — the first resource for mathematics

Hyvärinen, Antti E. J.

Compute Distance To:
Author ID: hyvarinen.antti-e-j Recent zbMATH articles by "Hyvärinen, Antti E. J."
Published as: Hyvärinen, Antti; Hyvärinen, Antti E. J.
External Links: ORCID
Documents Indexed: 15 Publications since 2008

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 14 times in 9 Documents Cited by Year
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
Partitioning search spaces of a randomized search. Zbl 1230.68180
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2011
Partitioning SAT instances for distributed solving. Zbl 1306.68146
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2010
Opensmt2: an SMT solver for multi-core and cloud computing. Zbl 06623535
Hyvärinen, Antti E. J.; Marescotti, Matteo; Alt, Leonardo; Sharygina, Natasha
1
2016
Search-space partitioning for parallelizing SMT solvers. Zbl 06512586
Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha
1
2015
Incorporating learning in grid-based randomized SAT solving. Zbl 1169.68603
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
2008
Opensmt2: an SMT solver for multi-core and cloud computing. Zbl 06623535
Hyvärinen, Antti E. J.; Marescotti, Matteo; Alt, Leonardo; Sharygina, Natasha
1
2016
Search-space partitioning for parallelizing SMT solvers. Zbl 06512586
Hyvärinen, Antti E. J.; Marescotti, Matteo; Sharygina, Natasha
1
2015
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification. Zbl 1407.68303
Rollini, Simone Fulvio; Alt, Leonardo; Fedyukovich, Grigory; Hyvärinen, Antti E. J.; Sharygina, Natasha
3
2013
Partitioning search spaces of a randomized search. Zbl 1230.68180
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2011
Partitioning SAT instances for distributed solving. Zbl 1306.68146
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
2
2010
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
Incorporating learning in grid-based randomized SAT solving. Zbl 1169.68603
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
1
2008

Citations by Year