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 Application of Satisfiability Testing
Best Price:
Buy Theory and Application of Satisfiability Testing for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.
Reviews
Questions & Answers
Reading Communities from Salons to Cyberspace
$54.99
European Textile Research: Competitiveness Through Innovation
$39.99
The Physics of Structural Phase Transitions
$39.99
Der neue Corporate Influencer
$39.99
Diasporic Avant-Gardes
$54.99
Der geliebten Sophie nachsterben
$74.99
Eine transformative Prsidentschaft
$44.99
Second Handbook of Academic Integrity
$499.99
Neuere Untersuchungen ber eindeutige analytische Funktionen
$59.99
The Retroviridae
$219.99
Der Grundbau
$84.99
Atomic Force Microscopy in Molecular and Cell Biology
$109.99
The Exiled Pandits of Kashmir
$54.99
Europe, Japan and America in the 1990s
$84.99
Logistik im Zeichen der Urbanisierung
$17.99
Recent Advances in Information Systems and Technologies
$329.99
Advanced Stress and Stability Analysis
$189.00
Economics and Finance Readings
$199.99
Sparse Grids and Applications - Stuttgart 2014
$84.99
Democracy and Foreign Policy in an Era of Uncertainty
$59.99
Kosmos xxxtrem!
$19.99
Arbeitsmethoden der Thermodynamik
$69.99
De Quincey, Wordsworth and the Art of Prose
$54.99
Dynamics and Stochastic Processes
$39.99
Differential and Difference Equations
$54.99
Nondestructive Characterization of Materials IV
$219.99
Organometallic Reactions and Polymerization
$109.99
Ambivalente Gesellschaftlichkeit
$59.99
An Attribute Grammar for the Semantic Analysis of ADA
$44.99
Secession in the Formal-Legalist Paradigm
$64.99
Historical Roots of Spontaneous Symmetry Breaking
$54.99
Kinder- und Jugendliteraturforschung 1997/98
$49.99
Sex, Gender and Time in Fiction and Culture
$54.99
Periarthritis Humeroscapularis und Verwandte Erkrankungen
$59.99
Transformative Entrepreneurs
$49.99
Sleep Therapy in the Neuroses
$54.99
Prior Processes and Their Applications
$54.99
The Exporters & Importers Handbook on Foreign Currencies
$39.99
Physically Based Shader Development for Unity 2017
$79.99
Robust and Fault-Tolerant Control
$159.99
