@InProceedings{HeiS09, author = {Stefan Heinz and Martin Sachenbacher}, title = {Using Model Counting to Find Optimal Distinguishing Tests}, booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems}, pages = {117--131}, year = {2009}, editor = {Willem-Jan van Hoeve and John N.\ Hooker}, volume = {5547}, series = {Lecture Notes in Computer Science}, month = {May}, publisher = {Springer} }