×

Found 84 Documents (Results 1–84)

100
MathJax

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
PDF BibTeX XML Cite

Discrete systems analysis. (Analiz diskretnykh sistem.) (Russian) Zbl 1017.93003

Donetsk: Natsional’naya Akademiya Nauk Ukrainy, Institut Prikladnoj Matematiki i Mekhaniki. 172 p. (2002).
PDF BibTeX XML Cite

Non-clausal deductive techniques for computing prime implicants and prime implicates. (English) Zbl 0793.68078

Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 277-288 (1993).
MSC:  68Q25
PDF BibTeX XML Cite

Boolean function complexity: A lattice-theoretic perspective. (English) Zbl 0764.06005

Boolean function complexity, Sel. Pap. Symp., Durham/UK 1990, Lond. Math. Lect. Note Ser. 169, 35-56 (1992).
MSC:  06E30 68Q25 06D05 05C25 94C10
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software