Items where Author is "Sinz, Carsten"

Number of items: 4.
Article
  • Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema picture_as_pdf
    • Conference or Workshop Item
  • Probabilistic Model Checking of Constraints in a Supply Chain Business Process. (2011) Tamara Mendt, Olga Tveretina and Carsten Sinz picture_as_pdf
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
    • Other
  • Analyzing Separation of Duties Constraints with a Probabilistic Model Checker. (2011) Tamara Mendt, Carsten Sinz and Olga Tveretina