ALLSAT compressed with wildcards. Part 4: An invitation for C-programmers
The model set of a general Boolean function in CNF is calculated in a compressed format, using wildcards. This novel method can be explained in very visual ways. Preliminary comparison with existing methods (BDD's and ESOPs) looks promising but our algorithm begs for a C encoding which would render it comparable in more systematic ways.
READ FULL TEXT