Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Theory and Applications of Satisfiability Testing SAT 2017
Best Price (Coupon Required):
Buy Theory and Applications of Satisfiability Testing SAT 2017 for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th InternationalConference on Theory and Applications of Satisfiability Testing, SAT2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
Reviews
Questions & Answers
Otto Brahm
$54.99
Leitfaden fr die Vorlesungen ber darstellende Geometrie
$59.99
Technische Dokumentation
$119.99
Der werdende Mensch
$64.99
Hands
$3.96
Transcending Greedy Money
$59.99
Social Fairness in a Post-Pandemic World
$159.99
Markenmanagement im Handel
$44.99
Die Geschichte und Entwickelung des Elektrischen Fernsprechwesens
$44.99
New Trends in Microlocal Analysis
$54.99
High-Level Synthesis
$109.99
Energy Systems Analysis for Developing Countries
$54.99
Managing Business and Service Networks
$129.00
Comprehension Skills: 40 Short Passages for Close Reading: Grade 3
$8.24
Theorie des Entmagnetisierungsfaktors und der Scherung von Magnetisierungskurven
$59.99
Intelligent Computing in Engineering and Architecture
$109.99
China's Economic Rise and Its Global Impact
$109.99
The Origins of Deconstruction
$54.99
Literaturunterricht aus Sicht der Lehrenden
$59.99
Kooperation von innovativen Existenzgrndern und Forschern
$74.99
Natural Sciences and Human Thought
$109.99
Innate Lymphoid Cells
$179.99
Die Geldmarktsteuerung der Europischen Zentralbank und das Geldangebot der Banken
$59.99
Das Kulturpublikum
$29.99
Hybrid Fault Tolerance Techniques to Detect Transient Faults in Embedded Processors
$109.99
Capital Asset Pricing Model mit Konsumtion
$49.99
Main Tectonic Events and Metallogeny of the North China Craton
$169.00
The Power to Manage
$54.99
Computer Security ESORICS 2024
$79.99
Transmedia Storytelling and the New Era of Media Convergence in Higher Education
$39.99
Handbook of Theory and Practice of Sustainable Development in Higher Education
$149.00
Dynamische Betriebsplanung zur Anpassung an wirtschaftliche Wechsellagen
$59.99
Mangrove Ichnology of the Bay of Bengal Coast, Eastern India
$109.99
Mobile Communication and the Family
$54.99
Binary Quadratic Forms
$54.99
Digital Technologies and Applications
$169.00
Die Flgeldecken der Carabidae
$84.99
Packaging for Food Preservation
$84.99
Dalit Theology after Continental Philosophy
$54.99
Progress in Science, Progress in Society
$219.99
