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

Bibliographie Gefngnisseelsorge

$32.99

Beginning CakePHP

$42.99

Statistik

$24.99

Ionic Soft Matter: Modern Trends in Theory and Applications

$109.99

Die Bedeutung der Erbschaftsteuer fr die Entwicklung mittelstndischer Betriebe

$59.99

Endocrine Disruptors and Puberty

$89.00

Portuguese as an Additional Language

$54.99

Financial Crises, Poverty and Environmental Sustainability: Challenges in the Context of the SDGs an

$199.99

Decision Support Systems II - Recent Developments Applied to DSS Network Environments

$54.99

Artificial Intelligence and Mobile Services AIMS 2019

$54.99

Renovierung von Anschlusskanlen der Grundstckentwsserung

$49.99

The Other Side of Prospect - A Story of Violence, Injustice,andTheAmericanCity by Nicholas Dawidoff

$32.50

Scale Integrated Circuits Technology: State of the Art and Prospects

$54.99

Rationales Herdenverhalten und seine Auswirkungen auf Investitionsentscheidungen

$79.99

Social Services of General Interest in the EU

$179.99

Eine neutrale Theorie der Wettbewerbsdominanz

$64.99

Aufgaben der Materialwirtschaft

$69.99

CONCUR 2003 - Concurrency Theory

$54.99

In the Garden of the Righteous: The Heroes Who Risked Their Lives to Save Jews During the Holocaust by Richard Hurowitz

$28.99

Advances in Production, Logistics and Traffic

$219.99

Fluid Mechanics and Fluid Power, Volume 5

$169.00

Shock and Damage Models in Reliability Theory

$109.99

Henry and Mudge: Henry and Mudge in the Sparkle Days

$3.71

Mobile Robot: Motion Control and Path Planning

$249.99

Neurophysiology and Neurochemistry of Sleep and Wakefulness

$39.99

Ontogenesis of the Skeleton and Intrinsic Muscles of the Human Hand and Foot

$54.99

Cost Management in Supply Chains

$169.99

Internationalization of Japanese Firms

$54.99

Staging Motherhood

$54.99

The Persecution of Children as a Crime Against Humanity

$169.99

Neue Knobeleien mit dem Mikro

$59.99

Synthesis and Modification of Heterocycles by Metal-Catalyzed Cross-coupling Reactions

$219.99

Macroeconomic Policy, Growth and Poverty Reduction

$109.99

Spot-Leadership

$37.99

New Perspectives on Contemporary German Science Fiction

$139.99

Future Perspectives in Behavior Therapy

$54.99

Discrete-Time Models for Communication Systems Including ATM

$169.99

Modern Sports Dentistry

$179.99

Ambit Stochastics

$109.00

Dynamic Mixed Models for Familial Longitudinal Data

$109.99