PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tinelli, Cesare"

Author of the publication

copydeleteadd this publication to your clipboard
On Solving Quantified Bit-Vectors using Invertibility Conditions.

, , , , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

PD Dr. rer. nat. Davide Cesare Veniani University of Stuttgart

 

Other publications of authors with the same name

Preface., and . Theor. Comput. Sci., 291 (3): 219-221 (2003)An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic., , , and . ARITH, page 160-167. IEEE, (2015)Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)., , and . J. ACM, 53 (6): 937-977 (2006)On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , and . CoRR, (2018)On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4., , , , and . CoRR, (2015)Ground interpolation for the theory of equality, , , , and . Logical Methods in Computer Science, (2012)Intelligent Systems and Formal Methods in Software Engineering., , , , , , , , and . IEEE Intelligent Systems, 21 (6): 71-81 (2006)The Model Evolution Calculus with Equality., and . CADE, volume 3632 of Lecture Notes in Computer Science, page 392-408. Springer, (2005)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 279-297. Springer, (2019)A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings., , , , and . FroCos, volume 9322 of Lecture Notes in Computer Science, page 135-150. Springer, (2015)