„equality saturation“

Suchergebnisse

2 Treffer

• Database Theory in Action: Search-Based Program Optimization
  Zhang, Yihong ; Suciu, Dan ; Wang, Yisu Remy ; Willsey, Max 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Semantic Foundations of Equality Saturation
  Suciu, Dan ; Wang, Yisu Remy ; Zhang, Yihong 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik