Daniil Strizhov

When you hear "logic," what comes to mind? Probably strict rules, truth tables, or the classic "if A, then B." It all seems clear—until you try to apply it to real life, where things rarely fit so neatly. But what if logic isn't just about formulas? What if, at its...

Abstract Handling large-scale sparse matrices is a fundamental task in many scientific and engineering domains, yet standard in-memory approaches often hit the limitations of available RAM. This paper introduces FlexChunk, an algorithm employing a chunking strategy and disk caching for efficient sparse matrix-vector multiplication (SpMV) specifically designed for matrices exceeding...