Antti E. J. Hyvärinen

Available identifiers

zbMath Open hyvarinen.antti-e-jMaRDI QIDQ784138

List of research outcomes

Publication	Date of Publication	Type
Decomposing Farkas Interpolants	2023-11-24	Paper
SMT-based verification of program changes through summary repair	2023-10-30	Paper
Farkas-based tree interpolation	2021-10-18	Paper
A cooperative parallelization approach for property-directed \(k\)-induction	2020-08-05	Paper
Exploiting partial variable assignment in interpolation-based model checking	2019-11-29	Paper
Function Summarization Modulo Theories	2019-07-04	Paper
Lookahead-Based SMT Solving	2019-07-04	Paper
SMTS: Distributed, Visualized Constraint Solving	2019-07-04	Paper
Lattice-based refinement in bounded model checking	2018-12-07	Paper
Theory refinement for program verification	2017-11-15	Paper
OpenSMT2: An SMT Solver for Multi-core and Cloud Computing	2016-09-05	Paper
Search-Space Partitioning for Parallelizing SMT Solvers	2015-11-20	Paper
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification	2014-01-17	Paper
Partitioning Search Spaces of a Randomized Search	2011-11-22	Paper
Partitioning SAT Instances for Distributed Solving	2010-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q3639755	2009-10-26	Paper
Strategies for Solving SAT in Grids by Randomized Search	2009-01-27	Paper
Incorporating Learning in Grid-Based Randomized SAT Solving	2008-11-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antti E. J. Hyvärinen