( en | de | ru )

 

Disambiguierung von "Nandi, Chandrakana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
babble: Learning Better Abstractions with E-Graphs and Anti-Unification.

, , , , , und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gerrit Peter Nandi

Miriam Nandi

Sukhendu Nandi

Biswanath Nandi

Kumaresh Nandi

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Trigger Generation for Rule-based Smart Homes., und . PLAS@CCS, Seite 97-102. ACM, (2016)Debugging probabilistic programs., , , , und . MAPL@PLDI, Seite 18-26. ACM, (2017)Using E-Graphs for CAD Parameter Inference., , , , , , und . CoRR, (2019)Co-Optimization of Design and Fabrication Plans for Carpentry., , , , , , und . ACM Trans. Graph., 41 (3): 32:1-32:13 (2022)babble: Learning Better Abstractions with E-Graphs and Anti-Unification., , , , , und . CoRR, (2022)Functional programming for compiling and decompiling computer-aided design., , , , , und . Proc. ACM Program. Lang., 2 (ICFP): 99:1-99:31 (2018)Carpentry compiler., , , , , und . ACM Trans. Graph., 38 (6): 195:1-195:14 (2019)Synthesizing structured CAD models with equality saturation and inverse transformations., , , , , , und . PLDI, Seite 31-44. ACM, (2020)Co-Optimization of Design and Fabrication Plans for Carpentry., , , , , , und . CoRR, (2021)Rewrite Rule Inference Using Equality Saturation., , , , , , , , und . CoRR, (2021)