Description:
Springer, 2006-09-14. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings Paperback - 2006 - 2006th Edition
by Armin Biere (Editor); Carla P. Gomes (Editor)
Details
- Title Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings
- Author Armin Biere (Editor); Carla P. Gomes (Editor)
- Binding Paperback
- Edition number 2006th
- Edition 2006
- Pages 440
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2006-07-26
- Illustrated Yes
- Features Bibliography, Illustrated, Index, Table of Contents
- ISBN 9783540372066 / 3540372067
- Weight 1.46 lbs (0.66 kg)
- Dimensions 9.31 x 6.07 x 0.98 in (23.65 x 15.42 x 2.49 cm)
- Dewey Decimal Code 511.3
More Copies for Sale
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture ... Computer Science and General Issues)
by Biere, Armin [Editor]; Gomes, Carla P. [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$73.24A$9.11 shipping to USA
Show Details
Item Price
A$73.24
A$9.11
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/h/678/735/1588735678.0.m.jpg)
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
by Armin Biere
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantity Available
- 120
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$94.18A$15.37 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings.
Item Price
A$94.18
A$15.37
shipping to USA
![Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference,...](https://d3525k1ryd2155.cloudfront.net/f/066/372/9783540372066.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
by Armin Biere
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540372066 / 3540372067
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$115.21A$19.14 shipping to USA
Show Details
Description:
Paperback / softback. New. This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.
Item Price
A$115.21
A$19.14
shipping to USA