Items where Author is "Sinz, Carsten"

Item Type No Grouping

Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz picture_as_pdf

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema picture_as_pdf

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema

Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina