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

By Yves Crama,Peter L. Hammer

ISBN-10: 0521847516

ISBN-13: 9780521847513

Written by way of in demand specialists within the box, this monograph presents the 1st entire, unified presentation of the structural, algorithmic and utilized points of the idea of Boolean services. The booklet specializes in algebraic representations of Boolean capabilities, specially disjunctive and conjunctive general shape representations. This framework appears to be like on the basic parts of the speculation (Boolean equations and satisfiability difficulties, major implicants and linked brief representations, dualization), an in-depth research of specific periods of Boolean services (quadratic, Horn, shellable, commonplace, threshold, read-once features and their characterization via sensible equations) and fruitful generalizations of the idea that of Boolean services (partially outlined services and pseudo-Boolean functions). a number of issues are provided right here in ebook shape for the 1st time. as a result of intensity and breadth and its emphasis on algorithms and functions, this monograph could have distinctive allure for researchers and graduate scholars in discrete arithmetic, operations learn, desktop technology, engineering and economics.

Show description

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

Similar logic books

Kurt Gödel,Stanford Unviersity of Mathematics,Solomon's Kurt Gödel: Collected Works: Volume IV: Volume 4 PDF

Kurt Gödel (1906 - 1978) was once the main striking philosopher of the 20th century, recognized for his hallmark works at the completeness of good judgment, the incompleteness of quantity thought, and the consistency of the axiom of selection and the continuum speculation. he's additionally famous for his paintings on constructivity, the choice challenge, and the rules of computability idea, in addition to for the powerful individuality of his writings at the philosophy of arithmetic.

Pierre Simon's A Guide to NIP Theories (Lecture Notes in Logic) PDF

The examine of NIP theories has bought a lot consciousness from version theorists within the final decade, fuelled through functions to o-minimal buildings and valued fields. This booklet, the 1st to be written on NIP theories, is an advent to the topic that might entice somebody attracted to version conception: graduate scholars and researchers within the box, in addition to these in within sight parts resembling combinatorics and algebraic geometry.

New PDF release: Trends in Artificial Intelligence: PRICAI 2016 Workshops:

This booklet constitutes the refereed court cases of the 14th Pacific Rim Collocated PRICAI 2016 Workshops on synthetic Intelligence, held in Phuket, Thailand, in August 2016. The sixteen complete papers offered during this quantity have been rigorously reviewed and chosen from forty six submissions. The are equipped round the following subject matters: e-health mining; snapshot, info and clever functions; man made intelligence for tutorial functions; man made intelligence for tourism; emphatic computing;artificial intelligence and functions.

Intelligent Computer Mathematics: 10th International - download pdf or read online

This e-book constitutes the refereed complaints of the tenth foreign convention on clever desktop arithmetic, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 complete papers and three abstracts of invited papers provided have been rigorously reviewed and chosen from a complete of forty submissions.

Extra info for Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications)

Example text

Download PDF sample

Boolean Functions: Theory, Algorithms, and Applications (Encyclopedia of Mathematics and its Applications) by Yves Crama,Peter L. Hammer


by Mark
4.5

Rated 4.77 of 5 – based on 32 votes