Autor der Publikation

versat: A Verified Modern SAT Solver.

, , , und . VMCAI, Volume 7148 von Lecture Notes in Computer Science, Seite 363-378. Springer, (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The calculus of dependent lambda eliminations.. J. Funct. Program., (2017)Syntax and Typing for Cedille Core.. CoRR, (2018)Foundational proof checkers with small witnesses., , und . PPDP, Seite 264-274. ACM, (2003)Efficient lambda encodings for Mendler-style coinductive types in Cedille., , und . MSFP@ETAPS, Volume 317 von EPTCS, Seite 72-97. (2020)Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007)., , , und . Int. J. Artif. Intell. Tools, 17 (4): 569-606 (2008)A Type-Based Approach to Divide-and-Conquer Recursion in Coq., , , , , und . Proc. ACM Program. Lang., 7 (POPL): 61-90 (Januar 2023)The Design of a Practical Proof Checker for a Lazy Functional Language., , und . Trends in Functional Programming, Volume 7829 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2012)Verified programming in Guru., , , , und . PLPV, Seite 49-58. ACM, (2009)Preface., und . PLPV@IJCAR, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2006)Introducing StarExec: a Cross-Community Infrastructure for Logic Solving., , und . COMPARE, Volume 873 von CEUR Workshop Proceedings, Seite 2. CEUR-WS.org, (2012)