Matti Karppa

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
Explicit correlation amplifiers for finding outlier correlations in deterministic subquadratic time Algorithmica	2020-10-21	Paper
An adaptive prefix-assignment technique for symmetry reduction Journal of Symbolic Computation	2020-01-15	Paper
Probabilistic tensors and opportunistic Boolean matrix multiplication Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms	2019-10-15	Paper
A faster subquadratic algorithm for finding outlier correlations ACM Transactions on Algorithms	2018-11-13	Paper
A Faster Subquadratic Algorithm for Finding Outlier Correlations Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms	2018-07-16	Paper
scientific article; zbMATH DE number 6846423 (Why is no real title available?) (available as arXiv preprint)	2018-03-02	Paper
An adaptive prefix-assignment technique for symmetry reduction Theory and Applications of Satisfiability Testing – SAT 2017	2017-11-15	Paper
An adaptive prefix-assignment technique for symmetry reduction Theory and Applications of Satisfiability Testing – SAT 2017	2017-11-15	Paper

Research outcomes over time

This page was built for person: Matti Karppa