DMCA

Using model counting to find optimal distinguishing tests (2008)

by Stefan Heinz , Martin Sachenbacher , Stefan Heinz , Martin Sachenbacher
Venue:In Proc. of COUNTING’08
Citations:5 - 1 self