arXiv Open Access 2017

ALLSAT compressed with wildcards: An invitation for C-programmers

Marcel Wild

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.DS

Penulis (1)

Marcel Wild

Format Sitasi

APA MLA BibTeX

Wild, M. (2017). ALLSAT compressed with wildcards: An invitation for C-programmers. https://arxiv.org/abs/1712.00751

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓