Handbook of satisfiability [electronic resource] /
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.
9781607503767
Propositional calculus--Congresses.
Decision making--Congresses.
Computer algorithms--Congresses.
Algebra, Boolean--Congresses.
Electronic books.
QA9.3 / .H36 2009
Includes bibliographical references and indexes.
9781607503767
Propositional calculus--Congresses.
Decision making--Congresses.
Computer algorithms--Congresses.
Algebra, Boolean--Congresses.
Electronic books.
QA9.3 / .H36 2009