Search Results - Parameterized Algorithms ACM Reference Format

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    ISSN: 2475-1421, 2475-1421
    Published: New York, NY, USA ACM 08.10.2024
    “…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
    Journal Article
    Save to List
    Saved in:

Search Tools: