Výsledky vyhledávání - Parameterized Algorithms ACM Reference Format

Fast and Optimal Extraction for Sparse Equality Graphs Autor 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…”
Získat plný text