Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Theory and Application of Satisfiability Testing

Theory and Application of Satisfiability Testing

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642215810
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Europeanization

$54.99

Gay Rights and Moral Panic

$54.99

Input-Output Modeling

$54.99

Power Management for Wearable Electronic Devices

$54.99

HTML5 and JavaScript Projects

$79.99

Future Health Organizations and Systems

$109.99

Kommunale Gesundheitsfrderung

$74.99

Metabolic Engineering in Plants

$219.00

Kleist-Jahrbuch 2014

$39.99

Princess Pink and The Land of Fake-Believe: Little Red Quacking Hood

$5.24

Stochastic Calculus and Applications

$89.99

Christianity and Power Politics Today

$39.99

Polish Essays in the Philosophy of the Natural Sciences

$219.99

Flle aus der Kreditpraxis

$59.99

Die Macht der Banken

$49.99

Keeper of the Lost Cities The Graphic Novel Part 1- Volume 1 by Shannon Messenger

$17.99

Humankapitalabschreibung und Arbeitslosigkeit

$49.99

Darstellungstheorie von endlichen Gruppen

$44.99

Critically Mediterranean

$99.00

Trends in Reconstructive Neurosurgery

$169.00

Econophysics and Sociophysics: Recent Progress and Future Directions

$169.99

Prophylactic Surgery

$219.99

Digital Geography

$219.99

Graphostatik und Festigkeitslehre Fr den Gebrauch an Technischen Hochschulen und in der Praxis

$44.99

Der Gang der qualitativen Analyse

$59.99

Algorithms and Computation

$84.99

Educational Leadership in Policy

$89.00

Climate Change and the Sustainable Use of Water Resources

$219.99

Jaakko Hintikka Selected Papers (Set)

$219.99

World Society and the Middle East

$54.99

Energy Return on Investment

$69.99

Pro Apache Tomcat 6

$39.99

Advances and Trends in Artificial Intelligence. Theory and Applications

$84.99

Einfhrung in das methodische Konstruieren

$79.99

Classification of Plant Communities

$109.99

Real Algebraic Varieties

$99.00

Soldiers and Citizens

$54.99

Handbook of Integrative Dermatology

$139.99

Kausalgesetz und Willensfreiheit

$59.99

ErnhrungsManager

$49.99