Anika Schumann, Martin Sachenbacher, Jinbo Huang: Constraint-Based Optimal Testing Using DNNF Graphs. CP 2009: 731-745