The Complexity of Boolean Formula Minimization.

David Buchfuhrer, Christopher Umans

Browse the full ICALP paper archive.