Boolean Functions: Theory, Algorithms, and Applications by Yves Crama,Peter L. Hammer

By Yves Crama,Peter L. Hammer

Written through well-known specialists within the box, this monograph offers the 1st accomplished, unified presentation of the structural, algorithmic and utilized facets of the idea of Boolean capabilities. The booklet specializes in algebraic representations of Boolean capabilities, in particular disjunctive and conjunctive common shape representations. This framework seems to be on the basic parts of the speculation (Boolean equations and satisfiability difficulties, leading implicants and linked brief representations, dualization), an in-depth research of detailed periods of Boolean services (quadratic, Horn, shellable, usual, threshold, read-once features and their characterization by means of useful equations) and fruitful generalizations of the concept that of Boolean services (partially outlined services and pseudo-Boolean functions). numerous issues are provided right here in ebook shape for the 1st time. end result of the intensity and breadth and its emphasis on algorithms and purposes, this monograph may have distinctive allure for researchers and graduate scholars in discrete arithmetic, operations examine, machine technological know-how, engineering and economics.

Show description

Read Online or Download Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications) PDF

Best logic books

Parsing Theory: Volume I Languages and Parsing: v. 1 (Monographs in Theoretical Computer Science. An EATCS Series)

The speculation of parsing is a vital program region of the idea of formal languages and automata. The evolution of modem high-level programming languages created a necessity for a basic and theoretically dean method for writing compilers for those languages. It used to be perceived that the compilation approach needed to be "syntax-directed", that's, the functioning of a programming language compiler needed to be outlined thoroughly by way of the underlying formal syntax of the language.

Foundations of Mathematics and other Logical Essays: By Frank Plumpton Ramsey: Volume 16 (International Library of Philosophy)

First released in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

Information Technology in Bio- and Medical Informatics: 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings (Lecture Notes in Computer Science)

This publication constitutes the refereed complaints of the sixth overseas convention on details expertise in Bio- and scientific Informatics, ITBAM 2015, held in Valencia, Spain, in September 2015, along side DEXA 2015. The nine revised lengthy papers awarded including 1 poster paper have been rigorously reviewed and chosen from 15 submissions.

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December ... (Lecture Notes in Computer Science)

Edited less than the auspices of the organization of common sense, Language andInformation (FoLLI), this booklet constitutes the refereed court cases ofthe twentieth anniversary of the overseas convention on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. the nineteen contributed papers, presentedtogether with four invited papers and six abstracts, have been carefullyreviewed and chosen from 38 submissions.