( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Search-Space Partitioning for Parallelizing SMT Solvers.

, , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 369-386. 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.

Antti Punkka

Harry Anttila

Antti Ojala

Antti Marjanen

Antti Tölli

 

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

Decomposing Farkas Interpolants., , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2019)A Solicitous Approach to Smart Contract Verification., , , , , и . ACM Trans. Priv. Secur., 26 (2): 15:1-15:28 (мая 2023)Using linear algebra in decomposition of Farkas interpolants., , , и . Int. J. Softw. Tools Technol. Transf., 24 (1): 111-125 (2022)Lattice-based SMT for program verification., , , и . MEMOCODE, стр. 16:1-16:11. ACM, (2019)Lookahead in Partitioning SMT., , и . FMCAD, стр. 271-279. IEEE, (2021)Computing Exact Worst-Case Gas Consumption for Smart Contracts., , , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 450-465. Springer, (2018)Incremental Verification by SMT-based Summary Repair., , , , и . FMCAD, стр. 77-82. IEEE, (2020)Lookahead-Based SMT Solving., , , , и . LPAR, том 57 из EPiC Series in Computing, стр. 418-434. EasyChair, (2018)SMTS: Distributed, Visualized Constraint Solving., , и . LPAR, том 57 из EPiC Series in Computing, стр. 534-542. EasyChair, (2018)SolCMC: Solidity Compiler's Model Checker., , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 325-338. Springer, (2022)