Cover Image

Handbook of satisfiability

Show other versions (2)
Saved in:
Bibliographic Details
Other Authors: Biere, Armin
Format: Electronic eBook
Language:English
Published: Amsterdam ; Washington, DC : IOS Press, c2009.
Series:Frontiers in artificial intelligence and applications ; v. 185.
Subjects:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Electronic books.
Online Access:NetLibrary
ebrary
An electronic book accessible through the World Wide Web; click for information
Click here to view book
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:1 online resource (xiii, 966 p.) : ill.
Bibliography:Includes bibliographical references and indexes.
ISBN:9781441616784 (electronic bk.)
1441616780 (electronic bk.)
9781607503767 (ebook)
160750376X (ebook)
ISSN:0922-6389 ;

Similar Items