Anika Schumann Martin Sachenbacher Jinbo Huang Constraint-Based Optimal Testing Using DNNF Graphs. 731-745 2009 CP http://dx.doi.org/10.1007/978-3-642-04244-7_57 conf/cp/2009 db/conf/cp/cp2009.html#SchumannSH09