Handbook of satisfiability

Handbook of satisfiability

Bibliographic Details
Main Author: Biere, Armin (Author)
Format: Book
Language:English
Published: Amsterdam, Netherland Washington, DC IOS Press c2009
Series:Frontiers in artificial intelligence and applications v 185
Subjects:
Algebra, Boolean > Congresses
Computer algorithms > Congresses
Decision making > Congresses
Propositional calculus > Congresses
Online Access:ebrary
NetLibrary
An electronic book accessible through the World Wide Web; click for information
Click here to view book

Internet

ebrary
NetLibrary
An electronic book accessible through the World Wide Web; click for information
Click here to view book

Badak Internet Collection

Holdings details from Badak Internet Collection
Call Number: QA9 3 H36 2009
Accession Item Category Format Status Notes
1000137712 OPEN SHELF (30 DAYS) Electronic Resource Available

Similar Items