000			02733nam a2200361 a 4500
001			ebr10476490
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			110303s2011 enka sb 001 0 eng d
010			_z 2011009690
020			_z9780521847513 (hardback)
020			_z9781139079129 (e-book)
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)733081011
050	1	4	_aQA341 _b.C73 2011eb
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. _bPalo Alto, Calif. : _cebrary, _d2011. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aAlgebraic functions.
650		0	_aAlgebra, Boolean.
655		7	_aElectronic books. _2local
700	1		_aHammer, P. L., _d1936-2006.
710	2		_aebrary, Inc.
830		0	_aEncyclopedia of mathematics and its applications ; _vv. 142.
856	4	0	_uhttp://site.ebrary.com/lib/daystar/Doc?id=10476490 _zAn electronic book accessible through the World Wide Web; click to view
999			_c196410 _d196410