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

Text, Speech and Dialogue

$39.99

Neuere Anschauungen der organischen Chemie

$49.99

Acute Non-Traumatic Intracranial Bleedings. Posterior Fossa Tumors in Infancy

$54.99

Wohin driftet die Arbeitswelt?

$49.99

Cancer Cell Lines

$219.99

European Integration and Industrial Relations

$44.99

Processes in GeoMediaVolume VII

$109.00

Complex Binary Number System

$54.99

Handbook of Research on Teacher Education

$249.99

Hernienchirurgie

$44.99

Handbook on Approval Voting

$149.00

Nonlinear Programming and Variational Inequality Problems

$169.99

Habermas and Ricoeurs Depth Hermeneutics

$54.99

Complex, Intelligent and Software Intensive Systems

$219.99

Allgemeine Akustik und Mechanik des menschlichen Stimmorgans

$74.99

Information ist Energie

$79.99

Mikroprozessorsysteme

$69.99

Engineering and Scientific Computing with Scilab

$149.00

Effects of Ionizing Radiation on DNA

$109.99

Piaget and His School

$109.99

Nachhaltige Innovationen in klein- und mittelstndischen Unternehmen

$17.99

$54.99

Nonlinear Waves and Pattern Dynamics

$179.99

Animal Crossing- New Horizons, Vol. 2- Deserted Island Diary by Kokonasu Rumba

$11.99

Critical Care Sedation

$99.99

Geometry and Topology

$44.99

Postcolonialism in the Wake of the Nairobi Revolution

$39.99

Hunger Games: The Ballad of Songbirds and Snakes

$12.74

An Introduction to Laplace Transforms and Fourier Series

$37.99

Sludge Characteristics and Behavior

$169.00

Algebraic and Complex Geometry

$169.99

Introduction to the Geometry of Foliations, Part B

$54.99

Animal Life in Fresh Water

$109.99

Mathematik

$49.99

Politische Fhrung im Spiegel regionaler politischer Kultur

$59.99

Animal Stories: Alone in the Night

$3.71

European Yearbook of International Economic Law 2015

$109.99

R&D, Innovation and Competitiveness in the European Chemical Industry

$109.99

Kreiszylinderschalen unter radialen Einzellasten / Circular Cylindrical Shells Subjected to Concentr

$39.99

Recent Trends in Algebraic Development Techniques

$54.99