Normal view MARC view ISBD view

SMT solving with fixpoint constraints on bit-vectors (R)

Nimkar, Kaustubh N.

SMT solving with fixpoint constraints on bit-vectors (R) - - Mumbai IIT 2008 - 52 p. 30 cm - .

ISBN:

Subjects--Topical Terms:
Chakraborty, Supratik
Theses and Dissertations
Microprocessors , Vector analysis , Constraints(Artificial intelligence)

Universal Decimal Class. No.: 043:681.326.32Nim

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)