Antti E. J. Hyvärinen

Available identifiers

Publication	Date of Publication	Type
Transition power abstractions for deep counterexample detection	2024-01-23	Paper
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
SMTS: Distributed, Visualized Constraint Solving	2019-07-04	Paper
Function Summarization Modulo Theories	2019-07-04	Paper
Lookahead-Based SMT 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
Incorporating clause learning in grid-based randomized SAT solving	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

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