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![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
![]() |
Central Library Reference (Sahyadri Campus) | Reference | 511.3 BIE/H | Not for loan | 07008 | |
![]() |
Central Library Reference (Sahyadri Campus) | Reference | 511.3 BIE/H | Not for loan | 07009 | |
![]() |
Central Library General Stack (Sahyadri Campus) | 511.3 BIE/H | Available | 07010 | ||
![]() |
Central Library General Stack (Sahyadri Campus) | 511.3 BIE/H | Available | 07011 |