Handbook of satisfiability
Handbook of satisfiability [electronic resource] /
edited by Armin Biere ... [et al.]
- Amsterdam ; Washington, DC : IOS Press, c2009
- 1 online resource (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
Mode of access: Internet
9781441616784 (electronic bk.) 1441616780 (electronic bk.) 9781607503767 (ebook) 160750376X (ebook) 9781586039295 1586039296
Propositional calculus--Congresses
Decision making--Congresses
Computer algorithms--Congresses
Algebra, Boolean--Congresses
Includes bibliographical references and indexes
Mode of access: Internet
9781441616784 (electronic bk.) 1441616780 (electronic bk.) 9781607503767 (ebook) 160750376X (ebook) 9781586039295 1586039296
Propositional calculus--Congresses
Decision making--Congresses
Computer algorithms--Congresses
Algebra, Boolean--Congresses