Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra., , und . Discrete Applied Mathematics, 156 (18): 3506-3509 (2008)Proving termination of imperative programs using Max-SMT., , , und . FMCAD, Seite 218-225. IEEE, (2013)A Write-Based Solver for SAT Modulo the Theory of Arrays., , , , und . FMCAD, Seite 1-8. IEEE, (2008)Jutge.org: Characteristics and Experiences., , , , , , , , , und 2 andere Autor(en). TLT, 11 (3): 321-333 (2018)Compositional Safety Verification with Max-SMT., , , , und . CoRR, (2015)Efficient Generation of Unsatisfiability Proofs and Cores in SAT., , , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2008)BDDs for Pseudo-Boolean Constraints - Revisited., , , und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 61-75. Springer, (2011)