@techreport{HeinzSachenbacher2008, author = {Stefan Heinz and Martin Sachenbacher}, title = {Using Model Counting to Find Optimal Distinguishing Tests}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, number = {08-32}, language = {eng}, year = {2008} }