PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Rodríguez-Carbonell, Enric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cardinality Networks: a theoretical and empirical study.

, , , und . Constraints, 16 (2): 195-221 (2011)

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.

Ana Rodriguez Quiroga University of Stuttgart

Rocio Belen Rodriguez University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints., , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2013)Automatic generation of polynomial invariants of bounded degree using abstract interpretation., und . Sci. Comput. Program., 64 (1): 54-75 (2007)Cardinality Networks: a theoretical and empirical study., , , und . Constraints, 16 (2): 195-221 (2011)Jutge.org: Characteristics and Experiences., , , , , , , , , und 2 andere Autor(en). TLT, 11 (3): 321-333 (2018)BDDs for Pseudo-Boolean Constraints - Revisited., , , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2011)Cardinality Networks and Their Applications., , , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 167-180. Springer, (2009)An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants., und . SAS, Volume 3148 von Lecture Notes in Computer Science, Seite 280-295. Springer, (2004)Challenges in Satisfiability Modulo Theories., , , und . RTA, Volume 4533 von Lecture Notes in Computer Science, Seite 2-18. Springer, (2007)To Encode or to Propagate? The Best Choice for Each Constraint in SAT., , , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 97-106. Springer, (2013)A Write-Based Solver for SAT Modulo the Theory of Arrays., , , , und . FMCAD, Seite 1-8. IEEE, (2008)