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 2014
Best Price (Coupon Required):
Buy Theory and Applications of Satisfiability Testing - SAT 2014 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 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.
Reviews
Questions & Answers
The Laplace Distribution and Generalizations
$119.99
Leben im Treibhaus
$64.99
UV-GO 2020 Kommentar
$59.99
Emerging and Transboundary Animal Viruses
$199.99
Industrialisation and Culture
$99.00
Architectural and Urban Subsymmetries
$109.99
bungsbuch zum Anti-Stress-Trainer fr Fernstudierende
$17.99
Cancer and Inflammation
$84.99
Mensch-Roboter-Kollaboration
$69.99
Alternative Splicing and Disease
$219.99
Killing in a Gray Area between Humanitarian Law and Human Rights
$84.99
Emancipation, Democracy and the Modern Critique of Law
$59.99
Ultraschalldiagnostik (B-scan) in der Inneren Medizin
$59.99
High-Speed Digital System Design
$29.99
Tools and Environments for Parallel and Distributed Systems
$169.99
Leisures Legacy
$99.99
Designing Embedded Processors
$199.99
Erfolgreiche Zusammenschlustrategien
$49.99
Direkteinspritzsysteme fr Otto- und Dieselmotoren
$39.99
Progress in Cryptology - LATINCRYPT 2010
$39.99
Quarks and Nuclear Forces
$39.99
Behandlungsleitlinie Psychopharmakotherapie
$29.99
Foundations of Social Inequality
$119.99
The End of Russian Philosophy
$54.99
Conceptualizing Environmental Citizenship for 21st Century Education
$59.99
Heterogenitt in der Prferenzanalyse
$74.99
Coabsorbent and Thermal Recovery Compression Heat Pumping Technologies
$84.99
Advances in Solar Power Generation and Energy Harvesting
$169.99
Modeling, Identification and Control Methods in Renewable Energy Systems
$159.99
Eine Einfhrung in die Mathematik an Beispielen aus der Informatik
$34.99
High Performance Through Process Excellence
$44.99
Kompaktlexikon der Biologie - Band 2
$37.99
Contemporary Development Ethics from an African Perspective
$119.00
Projektierung von Automatisierungsanlagen
$39.99
Pig the Rebel (Pig the Pug)
$5.99
Patterns and Processes of Speciation in Ancient Lakes
$169.00
The Pacific Arctic Region
$84.99
Euro-Par 2006 Parallel Processing
$139.00
Konsultativdemokratie oder Konsultativautoritarismus?
$119.99
Laser-Generated Functional Nanoparticle Bioconjugates
$54.99
