Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
by Hans Kleine Büning
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 25-Apr-2008 |
| ISBN-10: | 3540797181 |
| ISBN-13: | 9783540797180 |
| Binding Type: | Paperback |
| Weight: | 1.23 lbs |
| Pages: | pp. 324, Illus. |
The Title "Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings 1st Edition" is written by Hans Kleine Büning. This book was published in the year 2008. The ISBN number 3540797181|9783540797180 is assigned to the Hardback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. x + 305 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings 1st Edition is currently Available with us.