( en | de | ru )

 

Disambiguation of "Rodriguez-Carbonell, Enric"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations

, and . Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC-2004), Spain, (2004)

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.

Pere Carbonell

Enric Novella

Enric Llobet Brossa

Verónica Jaffé Carbonell

Enric Fossas-Colet

 

Other publications of authors with the same name

A Framework for Certified Boolean Branch-and-Bound Optimization., , , and . J. Autom. Reason., 46 (1): 81-102 (2011)The Barcelogic SMT Solver., , , , and . CAV, volume 5123 of Lecture Notes in Computer Science, page 294-298. Springer, (2008)Program Verification Using Automatic Generation of Invariants., and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 325-340. Springer, (2004)Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic., , , , and . CADE, volume 5663 of Lecture Notes in Computer Science, page 294-305. Springer, (2009)Proving Termination Through Conditional Termination., , , , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 99-117. (2017)Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra., , and . SAS, volume 3672 of Lecture Notes in Computer Science, page 19-34. Springer, (2005)Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving., , , and . IEEE Access, (2021)Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations, and . Proc. Intl. Symp on Symbolic and Algebraic Computation (ISSAC-2004), Spain, (2004)Analyzing Multiple Conflicts in SAT: An Experimental Evaluation., , and . LPAR, volume 94 of EPiC Series in Computing, page 306-316. EasyChair, (2023)A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints., , , and . CP, volume 8124 of Lecture Notes in Computer Science, page 80-96. Springer, (2013)