Handbook of satisfiability Armin Biere
Series: Frontiers in artificial intelligence and applications, v. 185Publisher: Amsterdam, The Netherlands ; Washington, DC ; IOS Press, c2009Description: xiii, 966 p. : ill. ; 25 cmISBN: 9781586039295Subject(s): Propositional calculus | Decision making | Computer algorithms | Algebra, Boolean | Algorithmus | Anwendung | Berechnungskomplexit�at | Erf�ullbarkeitsproblem| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Reference
|
Central Library (CL) | Central Library (CL) | NFIC | General Stacks | 511.3 BIE (Browse shelf) | Not for loan | SEECS010517 |
Total holds: 0
There are no comments on this title.