Handbook of satisfiability

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Biere, Armin
Format:	Electronic eBook
Language:	English
Published:	Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Series:	Frontiers in artificial intelligence and applications ; v. 185.
Subjects:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000110607
005	20171002055817.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	081220s2009 ne a sb 001 0 eng d
020			\|z 9781586039295
020			\|z 1586039296
035			\|a (CaPaEBR)ebr10309230
035			\|a (OCoLC)430355954
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA9.3 \|b .H36 2009eb
245	0	0	\|a Handbook of satisfiability \|h [electronic resource] / \|c edited by Armin Biere ... [et al.].
260			\|a Amsterdam, The Netherlands ; \|a Washington, DC : \|b IOS Press, \|c c2009.
300			\|a xiii, 966 p. : \|b ill.
490	1		\|a Frontiers in artificial intelligence and applications, \|x 0922-6389 ; \|v v. 185
504			\|a Includes bibliographical references and indexes.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2011. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Propositional calculus \|v Congresses.
650		0	\|a Decision making \|v Congresses.
650		0	\|a Computer algorithms \|v Congresses.
650		0	\|a Algebra, Boolean \|v Congresses.
655		7	\|a Electronic books. \|2 local
700	1		\|a Biere, Armin.
710	2		\|a ebrary, Inc.
830		0	\|a Frontiers in artificial intelligence and applications ; \|v v. 185.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10309230 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 99757 \|d 99757