Search Results - integer linear programming ACM Reference Format

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs by Rodríguez-Iglesias, Alonso, Tongli, Santoshkumar T., Tucker, Emily, Pouchet, Louis-Noël, Rodríguez, Gabriel, Touriño, Juan

“… In this work we present UZP, a new sparse format based on polyhedral sets of integer points. UZP is a flexible format that subsumes CSR, COO, DIA, BCSR, etc…”
Get full text

Fast and Optimal Extraction for Sparse Equality Graphs by Goharshady, Amir Kafshdar, Lam, Chun Kit, Parreaux, Lionel

“…Equality graphs (e-graphs) are used to compactly represent equivalence classes of terms in symbolic reasoning systems. Beyond their original roots in automated…”
Get full text