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
Design your mind Denkfallen entlarven und berwinden
$29.99
The English Della Cruscans and Their Time, 17831828
$84.99
Nanotoxicology and Nanoecotoxicology Vol. 1
$179.99
Tests and Proofs
$39.99
New Aspects in Phosphorus Chemistry IV
$169.00
Change and Progress in Modern Science
$169.99
The Pleistocene
$219.99
Globalisation, Cultural Diversity and Human Rights
$179.99
Polythiophenes Electrically Conductive Polymers
$84.99
Sandalwood: Silviculture, Conservation and Applications
$249.99
Next Generation Information System Technology
$39.99
Managing Transformation Projects
$44.99
Dialogue for Interreligious Understanding
$54.99
Stability of the Solar System and Its Minor Natural and Artificial Bodies
$169.00
Liquid Crystals and Ordered Fluids
$84.99
The Practice of Quality Management
$129.00
Submicron Porous Materials
$139.00
Sir Philip Gibbs and English Journalism in War and Peace
$54.99
Integrierte Unternehmensmodellierung
$34.99
Qualittsmanagement im Labor
$49.99
Modernity and the Final Aim of History
$109.99
Public Relations als Machtmanagement
$69.99
Mycorrhizosphere and Pedogenesis
$169.99
Probability
$39.99
Nonlinear Control Systems and Power System Dynamics
$169.99
Middle World
$37.99
Literatur und Recht: Materialitt
$49.99
Co-Creation and Learning
$59.99
Applied Optimal Control Theory of Distributed Systems
$169.00
Grails Persistence with GORM and GSQL
$29.99
Learn to Program: 6-Book Set
$30.95
A Quest for Quality Wine, Every Time
$39.99
Dislocation of the Temporomandibular Joint
$119.00
Constructivity and Computability in Historical and Philosophical Perspective
$39.99
Die Angemessenheit des Entgelts fr die bertragung von Eigentumsrechten als Problem rechtsgeprgter
$119.99
Mathematical Foundations of Time Series Analysis
$169.99
Feature and Dimensionality Reduction for Clustering with Deep Learning
$129.99
Reversible Computation
$54.99
I Love You Snow Much
$5.99
The Indonesian Economy in the Nineteenth and Twentieth Centuries
$169.99
