000			02963nam a2200445 a 4500
001			EBC691797
003			MiAaPQ
006			m o d |
007			cr cn|||||||||
008			110303s2011 enka sb 001 0 eng d
010			_z 2011009690
020			_z9780521847513 (hardback)
020			_z9781139079129 (e-book)
035			_a(MiAaPQ)EBC691797
035			_a(Au-PeEL)EBL691797
035			_a(CaPaEBR)ebr10476490
035			_a(CaONFJC)MIL312720
035			_a(OCoLC)735593475
040			_aMiAaPQ _cMiAaPQ _dMiAaPQ
050		4	_aQA341 _b.C73 2011
082	0	4	_a511.3/24 _222
100	1		_aCrama, Yves, _d1958-
245	1	0	_aBoolean functions _h[electronic resource] : _btheory, algorithms, and applications / _cYves Crama, Peter L. Hammer.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c2011.
300			_axxi, 687 p. : _bill.
490	1		_aEncyclopedia of mathematics and its applications ; _v142
504			_aIncludes bibliographical references and index.
505	0		_apt. 1. Foundations -- pt. 2. Special classes -- pt. 3. Generalizations.
520			_a"Written by prominent experts in the field, this monograph provides the first comprehensive and unified presentation of the structural, algorithmic, and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"-- _cProvided by publisher.
533			_aElectronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	_aAlgebraic functions.
650		0	_aAlgebra, Boolean.
655		4	_aElectronic books.
700	1		_aHammer, P. L., _d1936-2006.
710	2		_aProQuest (Firm)
830		0	_aEncyclopedia of mathematics and its applications ; _vv. 142.
856	4	0	_uhttps://ebookcentral.proquest.com/lib/bcsl-ebooks/detail.action?docID=691797 _zClick to View
999			_c750864 _d750864