Boolean Functions: Theory, Algorithms, and Applications

Crama, Yves; Hammer, Peter L.

Reference : Boolean Functions: Theory, Algorithms, and Applications


	Document type :	Books : Book published as author, translator, etc.
	Discipline(s) :	Physical, chemical, mathematical & earth Sciences : Mathematics Engineering, computing & technology : Computer science Engineering, computing & technology : Electrical & electronics engineering Business & economic sciences : Quantitative methods in economics & management
	To cite this reference:	http://hdl.handle.net/2268/72714

Title :	Boolean Functions: Theory, Algorithms, and Applications
Language :	English
Author, co-author :	Crama, Yves [Université de Liège - ULiège > HEC-Ecole de gestion : > UER Operations - QuantOM > >]
	Hammer, Peter L. [Rutgers University (New Jersey) - RU > RUTCOR > > >]
Publication date :	2011
Publisher :	Cambridge University Press
Collection and collection volume :	Encyclopedia of Mathematics and its Applications 142
Page number :	xxi, 687
ISBN :	9780521847513
City :	New York
Country :	NY
Keywords :	[en] Boolean functions ; propositional logic ; satisfiability ; graph theory ; electrical engineering ; reliability ; simple games ; computational complexity ; circuits ; pseudo-Boolean functions ; artificial intelligence ; duality ; integer programming ; combinatorial optimization
Abstract :	[en] This monograph provides the first comprehensive presentation of the theoretical, algorithmic and applied aspects of Boolean functions, i.e., {0,1}-valued functions of a finite number of {0,1}-valued variables. The book focuses on algebraic representations of Boolean functions, especially normal form representations. It presents the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated representations, dualization, etc.), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once, etc.), and two fruitful generalizations of the concept of Boolean functions (partially defined and pseudo-Boolean functions). It features a rich bibliography of about one thousand items. Prominent among the disciplines in which Boolean methods play a significant role are propositional logic, combinatorics, graph and hypergraph theory, complexity theory, integer programming, combinatorial optimization, game theory, reliability theory, electrical and computer engineering, artificial intelligence, etc. The book contains applications of Boolean functions in all these areas.
Research centres :	QuantOM
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/2268/72714
Commentary :	The monograph contains several chapters contributed by prominent experts: Claude Benzaken, Endre Boros, Nadia Brauner, Martin C. Golumbic, Vladimir Gurvich, Lisa Hellerstein, Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino, and Bruno Simeone.

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	FrontMatter.pdf	Front matter	Author preprint	85.44 kB	View/Open

Additional material(s):

	File	Commentary	Size	Access
Open access	JBoolMay2011.zip	JBool: A software tool	330.98 kB	View/Open

All documents in ORBi are protected by a user license.

Dspace v1.5