Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models

Open Webpage

Massimo Fioravanti, Daniele Cattaneo, Federico Terraneo, Silvano Seva, Stefano Cherubin, Giovanni Agosta, Francesco Casella, Alberto Leva

Published: 01 Jan 2023, Last Modified: 15 May 2025ACM Trans. Math. Softw. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0