Theory and Applications of Satisfiability Testing -- SAT 2015

Name: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference
Brand: Springer International Publishing AG
SKU: 9783319243177
Price: 4993.00 INR
Availability: InStock

18th International Conference

by Marijn Heule, Sean Weaver

Springer International Publishing AG · 2015

₹4,993

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹4,544 for this book (save ₹449).

9% off every book, up to ₹500 off per order.

About this book

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference is written by Marijn Heule & Sean Weaver. This edition is published by Springer International Publishing AG (2015).

The book deals with Computer algorithms.