Your search returned 2 results.

Results
	1.	Handbook of satisfiability by Biere, Armin [editor] Heule, Marijn [editor] Mareen, Hans Van [editor] Walsh, Toby [editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Amsterdam : IOS Press, ©2009 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 BIE-H. Lists: Systems Programming. Add to cart (remove)
	2.	2062 : the world that AI made by Walsh, Toby Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Speaking Tiger Books, ©2020 Availability: Items available for loan: IIITD (1)Call number: 006.3 WAL-2. Place hold Add to cart (remove)

Refine your search