Handbook of satisfiability

Saved in:
Bibliographic Details
Corporate Author: ebrary, Inc
Other Authors: Biere, Armin
Format: Electronic eBook
Language:English
Published: Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Series:Frontiers in artificial intelligence and applications ; v. 185.
Subjects:
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xiii, 966 p. : ill.
Bibliography:Includes bibliographical references and indexes.
ISSN:0922-6389 ;