Handbook of satisfiability (in two parts)
By: Biere, Armin (Editor)
Contributor(s): Heule, Marijn (Editor) | Maaren, Hans van (Editor) | Walsh, Toby (Editor)
Language: English Series: Frontiers in artificial intelligence and applicationsPublisher: Amsterdam IOS Press 2021Edition: 2nd edDescription: various pagingsISBN: 9781643681603Subject(s): Algebra, Boolean | Computer algorithmsDDC classification: 511.3 BIE/H
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Reference
|
Central Library Reference (Sahyadri Campus) | Reference | 511.3 BIE/H | Not for loan | 07008 | |
|
Reference
|
Central Library Reference (Sahyadri Campus) | Reference | 511.3 BIE/H | Not for loan | 07009 | |
Book
|
Central Library General Stack (Sahyadri Campus) | 511.3 BIE/H | Available | 07010 | ||
|
Book
|
Central Library General Stack (Sahyadri Campus) | 511.3 BIE/H | Available | 07011 |