( en | de | ru )

 

Disambiguation of "Hyvärinen, Antti Eero Johannes"

Author of the publication

copydeleteadd this publication to your clipboard
Incorporating Learning in Grid-Based Randomized SAT Solving.

, , and . AIMSA, volume 5253 of Lecture Notes in Computer Science, page 247-261. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Eero Puolanne

Eero Uroma

Antti Punkka

Harry Anttila

Eero Mäkinen

 

Other publications of authors with the same name

Partitioning SAT Instances for Distributed Solving., , and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 372-386. Springer, (2010)Partitioning Search Spaces of a Randomized Search., , and . AI*IA, volume 5883 of Lecture Notes in Computer Science, page 243-252. Springer, (2009)Grid based propositional satisfiability solving.. Aalto University, Helsinki, Finland, (2011)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/5081).Grid-Based SAT Solving with Iterative Partitioning and Clause Learning., , and . CP, volume 6876 of Lecture Notes in Computer Science, page 385-399. Springer, (2011)Regression Checking of Changes in C Software., , , , , , and . Validation of Evolving Software, Springer, (2015)PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification., , , , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 683-693. Springer, (2013)Duality-based interpolation for quantifier-free equalities and uninterpreted functions., , , and . FMCAD, page 39-46. IEEE, (2017)Strategies for Solving SAT in Grids by Randomized Search., , and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 125-140. Springer, (2008)PINCETTE - Validating Changes and Upgrades in Networked Software., , , , , , , , , and 2 other author(s). CSMR, page 461-464. IEEE Computer Society, (2013)Using the Grid for Enhancing the Performance of a Medical Image Search Engine., , , and . CBMS, page 367-372. IEEE Computer Society, (2008)