Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)

Name: Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)
ISBN: 9783319409696

by Creignou, Nadia, Le Berre, Daniel

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)

by Creignou, Nadia, Le Berre, Daniel

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$107.00~~

Discount

52% Off

You Save

$55.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319409696
ISBN: 3319409697
Edition: 1st ed. 2016
Publication Date: 2016
Publisher: Springer

AUTHOR

Creignou, Nadia, Le Berre, Daniel

SUMMARY

Creignou, Nadia is the author of 'Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)', published 2016 under ISBN 9783319409696 and ISBN 3319409697.

[read more]