Author of the publication

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.

 

Other publications of authors with the same name

Cardinality Networks: a theoretical and empirical study., , , and . Constraints, 16 (2): 195-221 (2011)Automatic generation of polynomial invariants of bounded degree using abstract interpretation., and . Sci. Comput. Program., 64 (1): 54-75 (2007)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)Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra., , and . Discrete Applied Mathematics, 156 (18): 3506-3509 (2008)Proving termination of imperative programs using Max-SMT., , , and . FMCAD, page 218-225. IEEE, (2013)A Write-Based Solver for SAT Modulo the Theory of Arrays., , , , and . FMCAD, page 1-8. IEEE, (2008)Jutge.org: Characteristics and Experiences., , , , , , , , , and 2 other author(s). TLT, 11 (3): 321-333 (2018)Compositional Safety Verification with Max-SMT., , , , and . CoRR, (2015)Efficient Generation of Unsatisfiability Proofs and Cores in SAT., , , and . LPAR, volume 5330 of Lecture Notes in Computer Science, page 16-30. Springer, (2008)BDDs for Pseudo-Boolean Constraints - Revisited., , , and . SAT, volume 6695 of Lecture Notes in Computer Science, page 61-75. Springer, (2011)