( en | de | ru )

 

Disambiguierung von "Tinelli, Cesare"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL.

, , , , , , , und . TACAS (1), Volume 14570 von Lecture Notes in Computer Science, Seite 311-330. Springer, (2024)

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.

Anja Tinelli

Cesare Filippo

Donatella Cesare

Silvana Cesare

Cesare Gessler

 

Weitere Publikationen von Autoren mit dem selben Namen

Splitting on Demand in SAT Modulo Theories., , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 512-526. Springer, (2006)The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)., , , , und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 3. Springer, (2010)An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic., , , und . ARITH, Seite 160-167. IEEE, (2015)On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , und . CoRR, (2018)Refutation-based synthesis in SMT., , , , und . Formal Methods Syst. Des., 55 (2): 73-102 (2019)On solving quantified bit-vector constraints using invertibility conditions., , , , und . Formal Methods Syst. Des., 57 (1): 87-115 (2021)Preface., und . Theor. Comput. Sci., 291 (3): 219-221 (2003)Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)., , und . J. ACM, 53 (6): 937-977 (2006)Symbolic computation and satisfiability checking., , , , und . J. Symb. Comput., (2020)A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery., , , und . FMCAD, Seite 189-198. IEEE, (2023)