Suchergebnisse - Parameterized Algorithms ACM Reference Format

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 2475-1421, 2475-1421
    Veröffentlicht: New York, NY, USA ACM 08.10.2024
    Veröffentlicht in Proceedings of ACM on programming languages (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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: