-
RecordNumber
44421
-
Title
Handbook of satisfiability
-
Author Statement
edited by Armin Biere ... [et al.].
-
Publication
Amsterdam, The Netherlands Washington, DC IOS Press
-
Collation
xiii, 966 p. : ill. ; 25 cm
-
Series
Frontiers in artificial intelligence and applications 0922-6389 v. 185
-
Notes
Includes bibliographical references and indexes
-
Subject
Propositional calculus Congresses , Decision making Congresses , Computer algorithms Congresses , Algebra, Boolean Congresses , Algorithmus , Anwendung , Berechnungskomplexit�at , Erf�ullbarkeitsproblem
-
ADDED ENTRIES
AU Biere, Armin
-
LC Class
QA
-
LC Number
9.3
-
LC CutterNumber
.H36
-
LC Date
2009
-
LC NO
2008942733
-
Link To Document :
