We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Data Structures and Algorithms

Title: ALLSAT compressed with wildcards: An invitation for C-programmers

Authors: Marcel Wild
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.
Comments: 18 pages
Subjects: Data Structures and Algorithms (cs.DS)
Cite as: arXiv:1712.00751 [cs.DS]
  (or arXiv:1712.00751v2 [cs.DS] for this version)

Submission history

From: Marcel Wild [view email]
[v1] Sun, 3 Dec 2017 10:59:34 GMT (176kb,D)
[v2] Thu, 14 Mar 2019 09:07:48 GMT (245kb,D)

Link back to: arXiv, form interface, contact.