Login / Signup

Using Model Counting to Find Optimal Distinguishing Tests.

Stefan HeinzMartin Sachenbacher
Published in: CPAIOR (2009)
Keyphrases
  • model counting
  • worst case
  • optimal solution
  • knowledge based systems