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

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

The Music of the Spheres

$37.99

Phase Transfer Catalysis in Organic Synthesis

$84.99

Applications of Time Delay Systems

$84.99

Cinema, Law, and the State in Asia

$54.99

Diskursiver Journalismus

$74.99

Finite Fields and Applications

$54.99

Recycling biogener Siedlungsabflle in der Landwirtschaft Mglichkeiten und Grenzen

$59.99

Byron V. Garrett Life and Literacy Skills Library Grade 3

$375.00

Neural Bases of Motor Behaviour

$219.99

Artificial Intelligence and Security

$109.99

Dynamics and the Problem of Recognition in Biological Macromolecules

$39.99

MongoDB Basics

$54.99

Muscle, Matrix, and Bladder Function

$219.99

The Use of Alternative Benchmarks in Anti-Subsidy Law

$129.99

Presidential Rhetoric on Terrorism under Bush, Obama and Trump

$64.99

Learning and Development Effectiveness in Organisations

$69.99

Making Growth Work

$54.99

Advances in Unconventional Computing

$219.99

Medical Practice in Twelfth-century China A Translation of Xu Shuweis Ninety Discussions [Cases]

$169.99

Auslandsverschuldung der Entwicklungslnder in den 90er Jahren

$59.99

Bat Evolution, Ecology, and Conservation

$169.00

Protozoologie

$69.99

Cardiac Remodeling and Failure

$259.00

Climate Change Economics

$129.00

Ruby Code (Hardcover)

$13.49

Hausdorff Approximations

$39.99

Cytokine Bioassays

$169.99

The Little Mermaid ''A Mermaid's Tale'' Storybook Figure by Jim Shore Official shopDisney

$100.00

Database Systems for Advanced Applications

$54.99

Computer Networks

$54.99

Methods in Bone Biology

$169.00

Der Dampfbetrieb

$44.99

Judaism, Philosophy, and Psychoanalysis in Heideggers Ontology

$139.99

Springer Handbook of Nanomaterials

$349.99

A Comparative Analysis of Political and Media Discourses about Russias Invasion of Ukraine

$129.99

Prozeintegriertes Management PIM

$99.99

Anleitung zur Wald-Eintheilung, Schtzung, Werthberechnung, Buch-, Registratur- und Geschftsfhrung

$59.99

Nigerias University Age

$109.99

Application of Ionic Liquids in Biotechnology

$279.99

Primary Eye Examination

$99.00