×

Found 27 Documents (Results 1–27)

Boolean functions. Theory, algorithms, and applications. (English) Zbl 1237.06001

Encyclopedia of Mathematics and its Applications 142. Cambridge: Cambridge University Press (ISBN 978-0-521-84751-3/hbk; 978-1-139-06424-8/ebook). xxi, 687 p. (2011).
MSC:  06-00 06E30
PDFBibTeX XMLCite

A satisfiability formulation of problems on level graphs. (English) Zbl 0990.90530

Kautz, Henry (ed.) et al., LICS 2001 workshop on theory and application of satisfiability testing (SAT 2001). Boston, MA, USA, June 14-15, 2001. Amsterdam: Elsevier, Electron. Notes Discrete Math. 9, no pag., electronic only (2001).
MSC:  90C27
PDFBibTeX XMLCite

The satisfiability problem; Boolean functions. Special issue on The satisfiability problem (pp. 1–244) and Boolean functions (pp. 245–479). Including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29–May 3, 1996. Reprinted from the journal Discrete Applied Mathematics 96–97 (1999). (English) Zbl 0936.00029

Topics in Discrete Mathematics. 10. Amsterdam: Elsevier. 482 p. (1999).
MSC:  00B25 03-06 06-06
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field