Publications
• Sorted by Date • Classified by Publication Type • Classified by Research Category • Classified by Research Group • Classified by Author Last Name •
Stefan Heinz and Martin Sachenbacher. Using Model Counting to Find Optimal Distinguishing Tests. In Proc. First International Workshop on Counting Problems in CSP and SAT, and other neighbouring problems (Counting'08), 2008. Accepted for publication
Download
(unavailable)
Abstract
(unavailable)
BibTeX Entry
@inproceedings{HeinzSachenbacher08b,
Author = {Stefan Heinz and Martin Sachenbacher},
Title = {Using Model Counting to Find Optimal Distinguishing Tests},
BookTitle = {Proc.~First International Workshop on Counting Problems in CSP and SAT, and other neighbouring problems (Counting'08)},
note = {Accepted for publication},
year = 2008
}
Generated by bib2html.pl (written by Patrick Riley ) on Sat Nov 29, 2008 01:35:43 UTC
















