SMT solving with fixpoint constraints on bit-vectors (R)
Language: English Series: Publication details: Mumbai ; IIT ; 2008Edition: Description: 52 p; 30 cmISBN: Subject(s): Chakraborty, Supratik | Theses and Dissertations | Microprocessors , Vector analysis , Constraints(Artificial intelligence)| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Theses and Dissertations
|
Central Library, IITB | 043:681.326.32Nim | Not for loan | D02B23 | 218710 |
Total holds: 0
There are no comments on this title.