Return to Article Details Compression with Wildcards: All Models of a Boolean 2-CNF Download Download PDF