Print this page
Theory and Applications of Satisfiability Testing - SAT 2016

Theory and Applications of Satisfiability Testing - SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Paperback (16 Jun 2016)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Other formats/editions

Check stock

Publisher's Synopsis

Theory and Applications of Satisfiability Testing - SAT 2016

Book information

ISBN: 9783319409719
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 590
Weight: 817g
Height: 234mm
Width: 156mm

We recommend

Introduction to Quantum Cryptography

Thomas Vidick, Steph...

Hardback
Published 14 Sep 2023

  • $65.23
Add to basket

$1.45off

Our Final Invention

James Barrat

Paperback
Published 20 Jul 2023

Save $1.45

  • RRP $14.05
  • $12.60
Add to basket

$8.74off

Quick Start Guide to Large Language Models

Sinan Ozdemir

Paperback
Published 03 Oct 2023

Save $8.74

  • RRP $48.56
  • $39.82
Add to basket

$2.55off

Fieldbus and Networking in Process Automation

Sunit Kumar Sen

Paperback
Published 25 Sep 2023

Save $2.55

  • RRP $58.78
  • $56.23
Add to basket

$5.24off

Machines That Think

New Scientist (Firm)...

Paperback
Published 17 Mar 2022

Save $5.24

  • RRP $14.05
  • $8.81
Add to basket

$1.73off

Futureproof

Kevin Roose

Paperback
Published 03 Feb 2022

Save $1.73

  • RRP $14.05
  • $12.32
Add to basket

$1.68off

The Age of AI

Henry Kissinger, Eri...

Paperback
Published 04 Aug 2022

Save $1.68

  • RRP $14.05
  • $12.37
Add to basket
Superintelligence

Nick Bostrom

Paperback
Published 14 Apr 2016

  • $14.71
Add to basket
Deep Learning

Ian Goodfellow, Yosh...

Hardback
Published 03 Jan 2017

  • $97.64
Add to basket

$3.90off

The Singularity Is Near

Ray Kurzweil

Paperback
Published 09 Mar 2006

Save $3.90

  • RRP $24.27
  • $20.37
Add to basket