Description:
Paperback / softback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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
![Theory and Applications of Satisfiability Testing - SAT 2016: 19th International](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings Paperback - 2016
by Nadia Creignou (Editor); Daniel Le Berre (Editor)
Details
- Title Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
- Author Nadia Creignou (Editor); Daniel Le Berre (Editor)
- Binding Paperback
- Pages 564
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2016-06-12
- Illustrated Yes
- Features Illustrated
- ISBN 9783319409696 / 3319409697
- Weight 1.8 lbs (0.82 kg)
- Dimensions 9.21 x 6.14 x 1.19 in (23.39 x 15.60 x 3.02 cm)
- Dewey Decimal Code 004.015
More Copies for Sale
![Theory and Applications of Satisfiability Testing – SAT 2016](https://d3525k1ryd2155.cloudfront.net/h/989/845/1570845989.0.m.jpg)
Theory and Applications of Satisfiability Testing – SAT 2016
by Edited by Nadia Creignou
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783319409696 / 3319409697
- Quantity Available
- 1
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$83.39A$15.37 shipping to USA
Show Details
Item Price
A$83.39
A$15.37
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
by Nadia Creignou
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783319409696 / 3319409697
- Quantity Available
- 1
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$91.53A$19.14 shipping to USA
Show Details
Description:
Paperback / softback. New. 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.
Item Price
A$91.53
A$19.14
shipping to USA
![Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - Sat 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings
by Creignou, Nadia (Editor)/ Le Berre, Daniel (Editor)
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783319409696 / 3319409697
- Quantity Available
- 2
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
A$119.42A$19.24 shipping to USA
Show Details
Description:
Springer-Verlag New York Inc, 2016. Paperback. New. 588 pages. 9.25x6.10x1.33 inches.
Item Price
A$119.42
A$19.24
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/696/409/9783319409696.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-9, 2016, Proceedings (Lecture Notes in Computer Science)
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783319409696 / 3319409697
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
A$124.49A$6.07 shipping to USA
Show Details
Description:
Springer , pp. 539 . Papeback. New.
Item Price
A$124.49
A$6.07
shipping to USA