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 Applications of Satisfiability Testing SAT 2017

Theory and Applications of Satisfiability Testing SAT 2017

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

This book constitutes the refereed proceedings of the 20th InternationalConference on Theory and Applications of Satisfiability Testing, SAT2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

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

Lehrbuch Der Lungenkrankheiten

$44.99

Advances in Non-Destructive Evaluation

$169.99

Statik Verstndnisaufgaben

$37.99

Kinderchirurgie

$369.00

Antibiosis and Host Immunity

$39.99

Chemische Gleichgewichtsthermodynamik

$54.99

The Wool Trade in Tudor & Stuart England

$99.00

Forschungs- und Entwicklungsarbeiten zur Herstellung von Holzspanplatten aus Sgespnen und gleichar

$59.99

Future Generation Grids

$169.99

Gastric Cancer Prewarning and Early Diagnosis System

$169.99

High Dimensional Probability II

$169.99

Spectral Theory of Hyponormal Operators

$54.99

Kierkegaard and Nietzsche

$109.99

Network and System Security

$79.99

Marxist Sociology Revisited

$19.99

A Critique of Judgment in Film and Television

$54.99

Internationalizing Rural Science Teacher Preparation

$119.00

Beitrag zur Behandlung chronischer Gelenkerkrankungen des Pferdes mit dem Knorpelprparat Sanarthrit

$54.99

Immunbiologische und chemische Untersuchungen an Hefen

$54.99

Retrieving Liberalism from Rationalist Constructivism, Volume I

$119.00

Salmon

$39.99

Semi-Markoff-Prozesse mit endlich vielen Zustnden

$59.99

Digital Media and Learner Identity

$54.99

Celebration Cakes

$109.99

QSAR in Environmental Toxicology

$84.99

Integrierte Mikrowellenschaltungen

$119.99

Manufacturing Outsourcing

$84.99

Handbuch zur Erkundung des Untergrundes von Deponien und Altlasten

$89.00

40 Jahre Fernsprecher

$49.99

Kindness Grades 1-2

$38.00

If I Built a House

$5.21

Integrating Scientific Disciplines

$109.99

Essays on the Philosophy of George Berkeley

$129.00

Cost Analysis and Estimating

$54.99

Fuzziness in Petri Nets

$169.99

Tendenzen im Dienstleistungsmarketing

$74.99

Third International Conference on Myopia Copenhagen, August 2427, 1980

$54.99

Kompendium der Statik der Baukonstruktionen

$59.99

Customer-driven Manufacturing

$39.99