( en | de | ru )

 

Disambiguierung von "Tinelli, Cesare"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint Logic Programming over Unions of Constraint Theories.

, und . J. Funct. Log. Program., (1998)

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)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)On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , und . CoRR, (2018)Symbolic computation and satisfiability checking., , , , und . J. Symb. Comput., (2020)Reasoning About Vectors Using an SMT Theory of Sequences., , , , , , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2022)