Stefan Heinz, Martin Sachenbacher. Using Model Counting to Find Optimal Distinguishing Tests. In Willem Jan van Hoeve, John N. Hooker, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings. Volume 5547 of Lecture Notes in Computer Science, pages 117-131, Springer, 2009. [doi]
Abstract is missing.