Description: Theory And Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, Paperback by Hoos, Holger H. (EDT); Mitchell, David G. (EDT), ISBN 354027829X, ISBN-13 9783540278290, Like New Used, Free shipping in the US research and its industrial applications.
Price: 68.69 USD
Location: Jessup, Maryland
End Time: 2025-01-03T20:53:27.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Theory And Applications of Satisfiability Testing : 7th Internati
Number of Pages: Xiii, 393 Pages
Language: English
Publication Name: Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, B. C. , Canada, May 10-13 2004 - Revised Selected Papers
Publisher: Springer Berlin / Heidelberg
Subject: Programming / Algorithms, Operating Systems / General, Decision-Making & Problem Solving, Computer Science, Sat
Publication Year: 2005
Item Weight: 44.8 Oz
Type: Textbook
Author: Holger H. Hoos, David G. Mitchell
Subject Area: Computers, Education, Study Aids
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
