Handbook of satisfiability
Handbook of satisfiability
by Armin Biere ...[et al].
- Amsterdam : IOS Press, ©2009
- xiii, 966 p. ; 25cm.
Includes bibliographical references and index
9781586039295
Mathematics
Decision making
Algebra, Boolean
Propositional calculus
Computer algorithms
511.3 / BIE-H
Includes bibliographical references and index
9781586039295
Mathematics
Decision making
Algebra, Boolean
Propositional calculus
Computer algorithms
511.3 / BIE-H