Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Theory and Applications of Satisfiability Testing - SAT 2014

Best Price (Coupon Required):
Buy Theory and Applications of Satisfiability Testing - SAT 2014 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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
$39.99 $39.99

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

Product Details

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

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Edible Medicinal And Non-Medicinal Plants

Edible Medicinal And Non-Medicinal Plants

$379.99
Nanostructured Materials by High-Pressure Severe Plastic Deformation

Nanostructured Materials by High-Pressure Severe Plastic Deformation

$169.00
The Divided City and the Grassroots

The Divided City and the Grassroots

$109.99
Fhrung in Verantwortung

Fhrung in Verantwortung

$34.99
Bottom-Up Self-Organization in Supramolecular Soft Matter

Bottom-Up Self-Organization in Supramolecular Soft Matter

$109.99
Schwinger's Quantum Action Principle

Schwinger's Quantum Action Principle

$69.99
Osteosarcopenia: Bone, Muscle and Fat Interactions

Osteosarcopenia: Bone, Muscle and Fat Interactions

$169.99
ber die Technik der Bluttransfusion beim Pferde unter Bercksichtigung der Vertrglichkeit des Spen

ber die Technik der Bluttransfusion beim Pferde unter Bercksichtigung der Vertrglichkeit des Spen

$54.99
Recent Advances in Control and Optimization of Manufacturing Systems

Recent Advances in Control and Optimization of Manufacturing Systems

$39.99
Functions and Generality of Logic

Functions and Generality of Logic

$54.99
Finsler Set Theory: Platonism and Circularity

Finsler Set Theory: Platonism and Circularity

$39.99
Prisoner B-3087

Prisoner B-3087

$5.99
Theorie der Symbolischen Interaktion

Theorie der Symbolischen Interaktion

$29.99
Plant Genetic Resources, Inventory, Collection and Conservation

Plant Genetic Resources, Inventory, Collection and Conservation

$199.99
Robust Methods for Dense Monocular Non-Rigid 3D Reconstruction and Alignment of Point Clouds

Robust Methods for Dense Monocular Non-Rigid 3D Reconstruction and Alignment of Point Clouds

$99.99
Reproductive Health and the Environment

Reproductive Health and the Environment

$219.99
Dateiverarbeitung mit BASIC

Dateiverarbeitung mit BASIC

$49.99
Multiagent Platforms

Multiagent Platforms

$39.99
Wie Unternehmen sich selbst erneuern

Wie Unternehmen sich selbst erneuern

$54.99
Chemisorption and Reactivity on Supported Clusters and Thin Films:

Chemisorption and Reactivity on Supported Clusters and Thin Films:

$219.99
George Boole

George Boole

$39.99
Autonomous Agents and Multiagent Systems. Best and Visionary Papers

Autonomous Agents and Multiagent Systems. Best and Visionary Papers

$64.99
MALT Lymphomas

MALT Lymphomas

$109.99
Soziale Wirkungsmessung im Social Entrepreneurship

Soziale Wirkungsmessung im Social Entrepreneurship

$39.99
Breath Sounds

Breath Sounds

$139.99
Optics at the Nanometer Scale

Optics at the Nanometer Scale

$129.00
Evaluation in Decision Making

Evaluation in Decision Making

$109.99
Cardiac PET and PET/CT Imaging

Cardiac PET and PET/CT Imaging

$129.00
New Directions in Mineral Processing, Extractive Metallurgy, Recycling and Waste Minimization

New Directions in Mineral Processing, Extractive Metallurgy, Recycling and Waste Minimization

$249.99
Technology Implementation in Second Language Teaching and Translation Studies

Technology Implementation in Second Language Teaching and Translation Studies

$109.99
Cloud Computing

Cloud Computing

$69.99
From Human Attention to Computational Attention

From Human Attention to Computational Attention

$169.99
Shakespeare and Contemporary Irish Literature

Shakespeare and Contemporary Irish Literature

$79.99
Intermediate Calculus

Intermediate Calculus

$59.99
Awake Behaving Mesoscopic Brain Imaging

Awake Behaving Mesoscopic Brain Imaging

$249.99
Fuball und Nationalstolz in Deutschland

Fuball und Nationalstolz in Deutschland

$39.99
Funktionalistische Rezeptionstheorie

Funktionalistische Rezeptionstheorie

$54.99
Global Health Diplomacy

Global Health Diplomacy

$169.99
Optimal Control of Energy Resources for State Estimation Over Wireless Channels

Optimal Control of Energy Resources for State Estimation Over Wireless Channels

$54.99
Chinese Global Production Networks in ASEAN

Chinese Global Production Networks in ASEAN

$84.99
previous
next