Antti E. J. Hyvärinen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Transition power abstractions for deep counterexample detection	2024-01-23	Paper
Decomposing Farkas Interpolants Tools and Algorithms for the Construction and Analysis of Systems	2023-11-24	Paper
SMT-based verification of program changes through summary repair Formal Methods in System Design	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 Formal Methods in System Design	2019-11-29	Paper
SMTS: Distributed, Visualized Constraint Solving EPiC Series in Computing	2019-07-04	Paper
Function summarization modulo theories EPiC Series in Computing	2019-07-04	Paper
Lookahead-Based SMT Solving EPiC Series in Computing	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 Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Search-space partitioning for parallelizing SMT solvers Lecture Notes in Computer Science	2015-11-20	Paper
PeRIPLO: a framework for producing effective interpolants in SAT-based software verification Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Partitioning search spaces of a randomized search Fundamenta Informaticae	2011-11-22	Paper
Partitioning SAT instances for distributed solving Logic for Programming, Artificial Intelligence, and Reasoning	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 Lecture Notes in Computer Science	2009-01-27	Paper
Incorporating Learning in Grid-Based Randomized SAT Solving Artificial Intelligence: Methodology, Systems, and Applications	2008-11-04	Paper

Research outcomes over time

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