000			03145nam a22003738i 4500
001			CR9780511852008
003			UkCbUP
005			20200124160223.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			101102s2011||||enk o ||1 0|eng|d
020			_a9780511852008 (ebook)
020			_z9780521847513 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA341 _b.C73 2011
082	0	0	_a511.3/24 _222
100	1		_aCrama, Yves, _d1958- _eauthor.
245	1	0	_aBoolean functions : _btheory, algorithms, and applications / _cYves Crama, Peter L. Hammer.
264		1	_aCambridge : _bCambridge University Press, _c2011.
300			_a1 online resource (xxi, 687 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aEncyclopedia of mathematics and its applications
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505	0		_aFundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner.
520			_aWritten by prominent experts in the field, this monograph provides the first comprehensive, 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. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth 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 for the first time. Because of the depth and breadth 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.
650		0	_aAlgebraic functions.
650		0	_aAlgebra, Boolean.
700	1		_aHammer, P. L., _d1936-2006, _eauthor.
776	0	8	_iPrint version: _z9780521847513
830		0	_aEncyclopedia of mathematics and its applications.
856	4	0	_uhttps://doi.org/10.1017/CBO9780511852008
999			_c516885 _d516883