Using model counting to find optimal distinguishing tests (2008)

by Stefan Heinz, Martin Sachenbacher
Venue:In Proc. of COUNTING’08