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
Static Analysis
$39.99
The Indian Periodical Press and the Production of Nationalist Rhetoric
$39.99
March (Pulitzer Prize Winner) by Geraldine Brooks
$18.00
The Confucian Misgivings--Liang Shu-mings Narrative About Law
$109.99
Feststoffgeschmierte Wlzlager
$99.00
Rechtsphilosophie
$59.99
Algorithms and Models for the Web-Graph
$39.99
Criminological Theory
$39.99
Die Statuspassage deutscher Altenpflegefachkrfte in Luxemburg
$59.99
The Discourse Trap and the US Military
$39.99
Kostenkontrollmanagement und Verhaltenssteuerung
$49.99
Deformation Microstructures and Mechanisms in Minerals and Rocks
$119.00
Narrative Form and Chaos Theory in Sterne, Proust, Woolf, and Faulkner
$54.99
Civic Engagement and Community Service at Research Universities
$159.99
Handbook of Community Movements and Local Organizations
$129.00
Guidelines for Reports by Autopsy Pathologists
$139.99
The Semantics of Plurals, Focus, Degrees, and Times
$109.99
Psychologie der Wirtschaft
$79.99
Normative Grenzen fr internetbasierte Ermittlungsmethoden
$64.99
Perspektiven auf sexualisierte Gewalt
$74.99
Poesie der Vernichtung
$49.99
Anhedonia: A Comprehensive Handbook Volume II
$169.99
5th Refinement Workshop
$54.99
John Grote
$54.99
The Memory Police- A Novel by Yoko Ogawa
$17.00
The Web Publishers Illustrated Quick Reference
$54.99
Handbook of Family Policies Across the Globe
$89.00
Photoimmunology
$109.99
Mit dem Krper Sprechen
$49.99
Helicobacter pylori Infection and Immunity
$169.99
The Britannia Panopticon Music Hall and Cosmopolitan Entertainment Culture
$109.99
Grant Proposals that Succeeded
$54.99
Mathematical Methods in Time Series Analysis and Digital Image Processing
$84.99
Technische Mechanik
$69.99
Image Processing for Computer Graphics
$74.99
Einwirkungen der Menschen auf die Wlder der Tropen
$79.99
The United States and Military Coups in Turkey and Pakistan
$89.00
Lectures on Mappings of Finite Distortion
$49.99
Muslim Women and Power
$29.99
Computer Hacking
$39.99
