( en | de | ru )

 

Disambiguierung von "de Moura, Leonardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning a SAT Solver from Single-Bit Supervision.

, , , , , und . ICLR (Poster), OpenReview.net, (2019)

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.

Pedro ˜deœ Almeida Moura

José Carlos de Andrade Moura

José Moura

Sabine Mouratidis

Anastasia Mouratidou

 

Weitere Publikationen von Autoren mit dem selben Namen

Solving non-linear arithmetic., und . ACM Commun. Comput. Algebra, 46 (3/4): 104-105 (2012)A metaprogramming framework for formal verification., , , , und . Proc. ACM Program. Lang., 1 (ICFP): 34:1-34:29 (2017)Tabled Typeclass Resolution., , und . CoRR, (2020)Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages., und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2020)The Lean 4 Theorem Prover and Programming Language., und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 625-635. Springer, (2021)Congruence Closure in Intensional Type Theory., und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 99-115. Springer, (2016)Programming Z3., , , und . SETSS, Volume 11430 von Lecture Notes in Computer Science, Seite 148-201. Springer, (2018)Universal Policies for Software-Defined MDPs., , , und . CoRR, (2020)Sealing Pointer-Based Optimizations Behind Pure Functions., , und . CoRR, (2020)Mimalloc: Free List Sharding in Action., , und . APLAS, Volume 11893 von Lecture Notes in Computer Science, Seite 244-265. Springer, (2019)