Free shipping on orders over $99
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

by Nadia Creignou and Daniel Le Berre
Paperback
Publication Date: 12/07/2016

Share This Book:

  $111.38
or 4 easy payments of $27.84 with
afterpay
This item qualifies your order for FREE DELIVERY
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.
ISBN:
9783319409696
9783319409696
Category:
Mathematical theory of computation
Format:
Paperback
Publication Date:
12-07-2016
Publisher:
Springer International Publishing AG
Country of origin:
Switzerland
Pages:
564
Dimensions (mm):
235x155x30mm
Weight:
8.77kg

This title is in stock with our Australian supplier and should arrive at our Sydney warehouse within 2 - 3 weeks of you placing an order.

Once received into our warehouse we will despatch it to you with a Shipping Notification which includes online tracking.

Please check the estimated delivery times below for your region, for after your order is despatched from our warehouse:

ACT Metro  2 working days

NSW Metro  2 working days

NSW Rural  2 - 3 working days

NSW Remote  2 - 5 working days

NT Metro  3 - 6 working days

NT Remote  4 - 10 working days

QLD Metro  2 - 4 working days

QLD Rural  2 - 5 working days

QLD Remote  2 - 7 working days

SA Metro  2 - 5 working days

SA Rural  3 - 6 working days

SA Remote  3 - 7 working days

TAS Metro  3 - 6 working days

TAS Rural  3 - 6 working days

VIC Metro  2 - 3 working days

VIC Rural  2 - 4 working days

VIC Remote  2 - 5 working days

WA Metro  3 - 6 working days

WA Rural  4 - 8 working days

WA Remote  4 - 12 working days

Reviews

Be the first to review Theory and Applications of Satisfiability Testing - SAT 2016.