Andreas Kübler

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Christoph Zengler, Andreas Kübler, Wolfgang Küchlin
New approaches to boolean quantifier elimination. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin
Model Counting in Product Configuration LoCoCo (2010)