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 2013
Best Price (Coupon Required):
Buy Theory and Applications of Satisfiability Testing - SAT 2013 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 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
Reviews
Questions & Answers
A Political Romance
$54.99
Distinktion - Macht - Landschaft
$59.99
Disnarration and the Unmentioned in Fact and Fiction
$39.99
Cook Anime - Eat Like Your Favorite Character-From Bento to Yakisoba (A Cookbook) by Diana Ault
$21.99
Sustaining the Comprehensive Ideal
$39.99
NaCl Transport in Epithelia
$109.99
The Politics of International Trade in the 21st Century
$54.99
Casebook Suicide and Suicide Prevention
$99.99
.NET 2.0 Interoperability Recipes
$39.99
Food Law Handbook
$54.99
Universal Access in HumanComputer Interaction. Design and Development Approaches and Methods
$39.99
Kritische Pdagogik und Bildungsforschung
$89.99
Kerngeschftsstrategien und Divestments aus Kapitalmarktsicht
$69.99
Afro-Latin@s in Movement
$129.99
Eduard Bernstein on Social Democracy and International Politics
$169.99
Systemisches Weiterbildungsmanagement in Organisationen der Sozialen Arbeit
$24.99
Social Virtual Worlds and Their Places
$139.99
Fractional Order Control and Synchronization of Chaotic Systems
$219.99
Communication, Computation and Perception Technologies for Internet of Vehicles
$129.99
Engineering and Ecosystems
$159.99
Knowledge Management for Health Care Procedures
$39.99
Tourism Management, Marketing, and Development
$109.99
Robotics Research
$329.99
Coupling and Decoupling of Diverse Molecular Units in Glycosciences
$109.99
Protein Engineering
$219.99
Surgery-First Orthodontic Management
$84.99
EurAsian Matters
$139.99
Statistical Language and Speech Processing
$74.99
Integrated Care in Psychiatry
$39.99
Masterclass Enterprise Architecture Management
$64.99
The Family in Medical Practice
$54.99
Vorsorge und Begleitung fr das Lebensende
$19.99
Advances in Visual Computing
$59.99
Brazilian Hip Hoppers Speak from the Margins
$44.99
International Development Cooperation of Japan and South Korea
$99.00
Grundfragen des Konkordats-Eherechtes
$49.99
Conservation of Architectural Heritage
$84.99
Implementierungsstrategien im Gesundheitswesen
$39.99
Neuropathology
$99.00
The Palgrave Handbook of Presidents and Prime Ministers From Cleveland and Salisbury to Trump and Jo
$249.99
