Description: Theory and Applications of Satisfiability Testing Sat 2017 : 20th International Conference, Proceedings, Paperback by Gaspers, Serge (EDT); Walsh, Toby (EDT), ISBN 3319662627, ISBN-13 9783319662626, Like New Used, Free shipping in the US
Price: 74.33 USD
Location: Jessup, Maryland
End Time: 2024-08-21T11:55:15.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 Sat 2017 : 20th
Number of Pages: Xiii, 476 Pages
Publication Name: Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2017
Subject: Software Development & Engineering / General, Programming / Algorithms, Intelligence (Ai) & Semantics, Decision-Making & Problem Solving, Computer Science, Calculus, Algebra / General
Type: Textbook
Item Weight: 260 Oz
Subject Area: Mathematics, Computers, Education
Item Length: 9.3 in
Author: Toby Walsh
Series: Lecture Notes in Computer Science Ser.
Item Width: 6.1 in
Format: Trade Paperback
