Follow
Antti E. J. Hyvärinen
Title
Cited by
Cited by
Year
Partitioning SAT instances for distributed solving
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Logic for Programming Artificial Intelligence …, 2010
692010
A distribution method for solving SAT in grids
AEJ Hyvärinen, T Junttila, I Niemelä
International conference on theory and applications of satisfiability …, 2006
602006
Computing exact worst-case gas consumption for smart contracts
M Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N Sharygina
International Symposium on Leveraging Applications of Formal Methods, 450-465, 2018
542018
Grid-based SAT solving with iterative partitioning and clause learning
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Principles and Practice of Constraint …, 2011
482011
OpenSMT2: An SMT solver for multi-core and cloud computing
AEJ Hyvärinen, M Marescotti, L Alt, N Sharygina
International Conference on Theory and Applications of Satisfiability …, 2016
462016
PeRIPLO: A framework for producing effective interpolants in SAT-based software verification
SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
International Conference on Logic for Programming Artificial Intelligence …, 2013
312013
Verification-aided regression testing
F Pastore, L Mariani, AEJ Hyvärinen, G Fedyukovich, N Sharygina, ...
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
302014
Designing scalable parallel SAT solvers
AEJ Hyvärinen, N Manthey
International Conference on Theory and Applications of Satisfiability …, 2012
292012
Grid based propositional satisfiability solving
AEJ Hyvärinen
Aalto University, 2011
282011
Incorporating clause learning in grid-based randomized SAT solving
AEJ Hyvärinen, T Junttila, I Niemelä
Journal on Satisfiability, Boolean Modeling and Computation 6 (4), 223-244, 2010
282010
HiFrog: SMT-based function summarization for software verification
L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
222017
Search-space partitioning for parallelizing SMT solvers
AEJ Hyvärinen, M Marescotti, N Sharygina
International Conference on Theory and Applications of Satisfiability …, 2015
192015
A proof-sensitive approach for small propositional interpolants
L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
VSSTE, 1-18, 2015
192015
A proof-sensitive approach for small propositional interpolants
L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
VSSTE, 1-18, 2015
192015
Strategies for solving SAT in grids by randomized search
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Intelligent Computer Mathematics, 125-140, 2008
182008
Incorporating learning in grid-based randomized SAT solving
AEJ Hyvärinen, T Junttila, I Niemelä
International Conference on Artificial Intelligence: Methodology, Systems …, 2008
162008
Decomposing farkas interpolants
M Blicha, AEJ Hyvärinen, J Kofroň, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2019
152019
Designing parallel PDR
M Marescotti, A Gurfinkel, AEJ Hyvärinen, N Sharygina
2017 Formal Methods in Computer Aided Design (FMCAD), 156-163, 2017
142017
Clause sharing and partitioning for cloud-based SMT solving
M Marescotti, AEJ Hyvärinen, N Sharygina
International Symposium on Automated Technology for Verification and …, 2016
142016
Accurate smart contract verification through direct modelling
M Marescotti, R Otoni, L Alt, P Eugster, AEJ Hyvärinen, N Sharygina
International Symposium on Leveraging Applications of Formal Methods, 178-194, 2020
132020
The system can't perform the operation now. Try again later.
Articles 1–20