Model Counting in Product Configuration - Andreas Kübler; Christoph Zengler; Wolfgang Küchlin (LoCoCo, 2010)

New approaches to boolean quantifier elimination. - Christoph Zengler; Andreas Kübler; Wolfgang Küchlin (ACM Commun. Comput. Algebra, 2011)