External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Using Model Counting to Find Optimal Distinguishing Tests

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]

Authors

Stefan Heinz

This author has not been identified. Look up 'Stefan Heinz' in Google

Martin Sachenbacher

This author has not been identified. Look up 'Martin Sachenbacher' in Google
runs on