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

Theory and Applications of Satisfiability Testing SAT 2016

Best Price (Coupon Required):
Buy Theory and Applications of Satisfiability Testing SAT 2016 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
9783319409696
Condition
New
Product Description

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

The Development of Equity Capital Markets in Transition Economies

The Development of Equity Capital Markets in Transition Economies

$109.99
Dendrimer Catalysis

Dendrimer Catalysis

$169.00
Particle Confinement in Penning Traps

Particle Confinement in Penning Traps

$169.99
Scenario Thinking

Scenario Thinking

$54.99
Electrophosphorescent Polymers Based on Polyarylether Hosts

Electrophosphorescent Polymers Based on Polyarylether Hosts

$109.99
Lobbying and Foreign Interests in Chinese Politics

Lobbying and Foreign Interests in Chinese Politics

$109.99
Global Tea Breeding

Global Tea Breeding

$249.99
Police and International Peacekeeping Missions

Police and International Peacekeeping Missions

$169.99
Local Ownership in Asian Peacebuilding

Local Ownership in Asian Peacebuilding

$79.99
Islam, Culture, and Marriage Consent

Islam, Culture, and Marriage Consent

$129.99
Plant Disease Control

Plant Disease Control

$39.99
Kreislaufwirtschaft

Kreislaufwirtschaft

$24.99
Energiewende

Energiewende "Made in Germany"

$69.99
Gender, Affect, and Emotion from Classical to Early Modern Literature

Gender, Affect, and Emotion from Classical to Early Modern Literature

$119.99
Dmpfung von Stowellen in verzweigten Rohrsystemen

Dmpfung von Stowellen in verzweigten Rohrsystemen

$59.99
Roar!

Roar!

$3.71
Neoplastic Hematopathology

Neoplastic Hematopathology

$229.00
Challenges and Recent Advancements in Nuclear Energy Systems

Challenges and Recent Advancements in Nuclear Energy Systems

$379.99
Thrombopoiesis and Thrombopoietins

Thrombopoiesis and Thrombopoietins

$169.99
Tetramer Stability and Functional Regulation of Tumor Suppressor Protein p53

Tetramer Stability and Functional Regulation of Tumor Suppressor Protein p53

$39.99
konomie des Sozialstaats

konomie des Sozialstaats

$34.99
Technologiefrderung

Technologiefrderung

$59.99
The Progressive Army

The Progressive Army

$54.99
High-Temperature Superconductivity in Cuprates

High-Temperature Superconductivity in Cuprates

$129.00
A Time for Choosing

A Time for Choosing

$29.99
If I Built: If I Built a School

If I Built: If I Built a School

$5.21
Ukrainian Nationalism in the Post-Stalin Era

Ukrainian Nationalism in the Post-Stalin Era

$84.99
Racial Segregation and the Origins of Apartheid in South Africa, 191936

Racial Segregation and the Origins of Apartheid in South Africa, 191936

$109.99
Aphasie

Aphasie

$39.99
Hyperspectral Image Analysis

Hyperspectral Image Analysis

$129.00
The Montenegrin Warrior Tradition

The Montenegrin Warrior Tradition

$39.99
Genetic Programming Theory and Practice III

Genetic Programming Theory and Practice III

$169.99
Arbeitsbuch zur Theoretischen Physik

Arbeitsbuch zur Theoretischen Physik

$49.95
Applications of Medical Artificial Intelligence

Applications of Medical Artificial Intelligence

$79.99
Promo-Viren

Promo-Viren

$49.99
The Transatlantic Eco-Romanticism of Gary Snyder

The Transatlantic Eco-Romanticism of Gary Snyder

$39.99
White cells and platelets in blood transfusion

White cells and platelets in blood transfusion

$129.00
Molecular Mechanisms of Inflammation: Induction, Resolution and Escape by Helicobacter pylori

Molecular Mechanisms of Inflammation: Induction, Resolution and Escape by Helicobacter pylori

$199.99
Gmelins Handbuch der Anorganischen Chemie

Gmelins Handbuch der Anorganischen Chemie

$49.99
Effektive Team-Meetings

Effektive Team-Meetings

$17.99
previous
next