Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)
(No ratings yet)
Key item features
- Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)
- Author: Springer
- ISBN: 9783319662626
- Format: Paperback
- Publication Date: 2017-08-09
- Page Count: 476
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2017-08-09
- Pages476
- SubgenreComputer Science
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Sat, Apr 4
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $60.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017.
The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.
- Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)
- Author: Springer
- ISBN: 9783319662626
- Format: Paperback
- Publication Date: 2017-08-09
- Page Count: 476
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
2017-08-09
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, , Book 2360, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, , Book 2360, (Paperback)
Multimedia Modeling: 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II, (Paperback) $54.99
$5499current price $54.99Multimedia Modeling: 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II, (Paperback)
Principles and Practice of Constraint Programming: 23rd International Conference, Cp 2017, Melbourne, Vic, Australia, Au, (Paperback) $54.99
$5499current price $54.99Principles and Practice of Constraint Programming: 23rd International Conference, Cp 2017, Melbourne, Vic, Australia, Au, (Paperback)
Information Security and Privacy: 20th Australasian Conference, Acisp 2015, Brisbane, Qld, Australia, June 29 -- July 1,, (Paperback) $54.99
$5499current price $54.99Information Security and Privacy: 20th Australasian Conference, Acisp 2015, Brisbane, Qld, Australia, June 29 -- July 1,, (Paperback)
Databases Theory and Applications: 26th Australasian Database Conference, Adc 2015, Melbourne, Vic, Australia, June 4-7,, (Paperback) $54.99
$5499current price $54.99Databases Theory and Applications: 26th Australasian Database Conference, Adc 2015, Melbourne, Vic, Australia, June 4-7,, (Paperback)
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback) $54.99
$5499current price $54.99Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback)
Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback) $54.99
$5499current price $54.99Certified Programs and Proofs: Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013,, (Paperback)
Algorithms and Models for the Web Graph: 16th International Workshop, Waw 2019, Brisbane, Qld, Australia, July 6-7, 2019, (Paperback) $54.99
$5499current price $54.99Algorithms and Models for the Web Graph: 16th International Workshop, Waw 2019, Brisbane, Qld, Australia, July 6-7, 2019, (Paperback)
Pervasive Computing: 6th International Conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008, (Paperback) $54.99
$5499current price $54.99Pervasive Computing: 6th International Conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008, (Paperback)
Entertainment Computing - Icec 2014: 13th International Conference, Icec 2014, Sydney, Australia, October 1-3, 2014, Pro, (Paperback) $54.99
$5499current price $54.99Entertainment Computing - Icec 2014: 13th International Conference, Icec 2014, Sydney, Australia, October 1-3, 2014, Pro, (Paperback)
Lecture Notes in Computer Science Distributed Communities on the Web: 4th International Workshop, Dcw 2002 Sydney, Australia, April 3-5, 2002, Revised Pap, Book 2468, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Communities on the Web: 4th International Workshop, Dcw 2002 Sydney, Australia, April 3-5, 2002, Revised Pap, Book 2468, (Paperback)
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8,, (Paperback) $54.99
$5499current price $54.99Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8,, (Paperback)
Serious Games: Second Joint International Conference, Jcsg 2016, Brisbane, Qld, Australia, September 26-27, 2016, Procee, (Paperback) $54.99
$5499current price $54.99Serious Games: Second Joint International Conference, Jcsg 2016, Brisbane, Qld, Australia, September 26-27, 2016, Procee, (Paperback)
Knowledge Science, Engineering and Management: 10th International Conference, Ksem 2017, Melbourne, Vic, Australia, Augu, (Paperback) $54.99
$5499current price $54.99Knowledge Science, Engineering and Management: 10th International Conference, Ksem 2017, Melbourne, Vic, Australia, Augu, (Paperback)
Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback) $54.99
$5499current price $54.99Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback)
Information Security and Privacy: 21st Australasian Conference, Acisp 2016, Melbourne, Vic, Australia, July 4-6, 2016, P, (Paperback) $54.99
$5499current price $54.99Information Security and Privacy: 21st Australasian Conference, Acisp 2016, Melbourne, Vic, Australia, July 4-6, 2016, P, (Paperback)
Lecture Notes in Computer Science Algorithms and Computations: 6th International Symposium, Isaac '95 Cairns, Australia, December 4 - 6, 1995. Procee, Book 1004, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Algorithms and Computations: 6th International Symposium, Isaac '95 Cairns, Australia, December 4 - 6, 1995. Procee, Book 1004, (Paperback)
Autonomic and Trusted Computing: 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 Proceedings, (Paperback) $54.99
$5499current price $54.99Autonomic and Trusted Computing: 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 Proceedings, (Paperback)
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback) $54.99
$5499current price $54.99Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
Bioinformatics Research and Applications: 6th International Symposium, Isbra 2010, Storrs, Ct, Usa, May 23-26, 2010. Pro, (Paperback) $54.99
$5499current price $54.99Bioinformatics Research and Applications: 6th International Symposium, Isbra 2010, Storrs, Ct, Usa, May 23-26, 2010. Pro, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
