ALLSAT compressed with wildcards: An invitation for C-programmers
classification
💻 cs.DS
keywords
compressedwayswildcardsalgorithmallsatbegsbooleanc-programmers
read the original abstract
The model set of a general Boolean function in CNF is calculated in a compressed format, using novel wildcards. This method can be explained in very visual ways. Preliminary comparison with existing methods (BDD's and Mathematica's ESOP command) looks promising but our algorithm begs for a C encoding which would render it comparable in more systematic ways.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.