Handbook of satisfiability
Handbook of satisfiability [electronic resource] /
edited by Armin Biere ... [et al.].
- Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
- xiii, 966 p. : ill.
- Frontiers in artificial intelligence and applications, v. 185 0922-6389 ; .
- Frontiers in artificial intelligence and applications ; v. 185. .
Includes bibliographical references and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Propositional calculus--Congresses.
Decision making--Congresses.
Computer algorithms--Congresses.
Algebra, Boolean--Congresses.
Electronic books.
QA9.3 / .H36 2009eb
Includes bibliographical references and indexes.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2011.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Propositional calculus--Congresses.
Decision making--Congresses.
Computer algorithms--Congresses.
Algebra, Boolean--Congresses.
Electronic books.
QA9.3 / .H36 2009eb