( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Regression Checking of Changes in C Software.

, , , , , , и . Validation of Evolving Software, Springer, (2015)

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.

Eero Puolanne

Eero Uroma

Antti Punkka

Harry Anttila

Eero Mäkinen

 

Другие публикации лиц с тем же именем

Partitioning SAT Instances for Distributed Solving., , и . LPAR (Yogyakarta), том 6397 из Lecture Notes in Computer Science, стр. 372-386. Springer, (2010)Grid-Based SAT Solving with Iterative Partitioning and Clause Learning., , и . CP, том 6876 из Lecture Notes in Computer Science, стр. 385-399. Springer, (2011)Partitioning Search Spaces of a Randomized Search., , и . AI*IA, том 5883 из Lecture Notes in Computer Science, стр. 243-252. Springer, (2009)Grid based propositional satisfiability solving.. Aalto University, Helsinki, Finland, (2011)base-search.net (ftaaltouniv:oai:aaltodoc.aalto.fi:123456789/5081).Regression Checking of Changes in C Software., , , , , , и . Validation of Evolving Software, Springer, (2015)A Distribution Method for Solving SAT in Grids., , и . SAT, том 4121 из Lecture Notes in Computer Science, стр. 430-435. Springer, (2006)Designing Scalable Parallel SAT Solvers., и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 214-227. Springer, (2012)Incorporating Learning in Grid-Based Randomized SAT Solving., , и . AIMSA, том 5253 из Lecture Notes in Computer Science, стр. 247-261. Springer, (2008)Designing parallel PDR., , , и . FMCAD, стр. 156-163. IEEE, (2017)Verification-aided regression testing., , , , , , и . ISSTA, стр. 37-48. ACM, (2014)