Hero image 0 of Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-1, (Paperback), 0 of 1
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-1, (Paperback)
(No ratings yet)
Key item features
- Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-1, (Paperback)
- Author: Springer
- ISBN: 9783642390708
- Format: Paperback
- Publication Date: 2013-07-19
- Page Count: 437
Specs
- Manual & guide typeInstruction Manual
- Book formatPaperback
- Edition2013 Edition
- Pages437
- LanguageEnglish
- BrandMatti Jarvisalo
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 for just $1! Choose a plan at checkout.
Ships to
Arrives by Thu, May 21
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (3)
Starting from $56.14
Try 30 days of Walmart+ for just $1!
T&C apply. Claim offer now
About this item
Product details
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
- Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-1, (Paperback)
- Author: Springer
- ISBN: 9783642390708
- Format: Paperback
- Publication Date: 2013-07-19
- Page Count: 437
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
Manual & guide type
Instruction Manual
Book format
Paperback
Edition
2013 Edition
Pages
437
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
Artificial Immune Systems: 10th International Conference, Icaris 2011, Cambridge, Uk, July 18-21, 2011. Proceedings, (Paperback) $54.99
$5499current price $54.99Artificial Immune Systems: 10th International Conference, Icaris 2011, Cambridge, Uk, July 18-21, 2011. Proceedings, (Paperback)
Quantum Interaction: 7th International Conference, Qi 2013, Leicester, Uk, July 25-27, 2013. Selected Papers, (Paperback) $54.99
$5499current price $54.99Quantum Interaction: 7th International Conference, Qi 2013, Leicester, Uk, July 25-27, 2013. Selected Papers, (Paperback)
Lecture Notes in Computer Science Conceptual Modeling - Er 2002: 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002, Book 2503, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Conceptual Modeling - Er 2002: 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002, Book 2503, (Paperback)
Language and Automata Theory and Applications: 7th International Conference, Lata 2013, Bilbao, Spain, April 2-5, 2013, , (Paperback) $54.99
$5499current price $54.99Language and Automata Theory and Applications: 7th International Conference, Lata 2013, Bilbao, Spain, April 2-5, 2013, , (Paperback)
Communications in Computer and Informati Operations Research and Enterprise Systems: 6th International Conference, Icores 2017, Porto, Portugal, February 23-25, , Book 884, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Operations Research and Enterprise Systems: 6th International Conference, Icores 2017, Porto, Portugal, February 23-25, , Book 884, (Paperback)
Communications in Computer and Informati Operations Research and Enterprise Systems: 4th International Conference, Icores 2015, Lisbon, Portugal, January 10-12, , Book 577, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Operations Research and Enterprise Systems: 4th International Conference, Icores 2015, Lisbon, Portugal, January 10-12, , Book 577, (Paperback)
Statistical Language and Speech Processing: Third International Conference, Slsp 2015, Budapest, Hungary, November 24-26, (Paperback) $60.29
$6029current price $60.29Statistical Language and Speech Processing: Third International Conference, Slsp 2015, Budapest, Hungary, November 24-26, (Paperback)
Lecture Notes in Computer Science Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, , Book 1258, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, , Book 1258, (Paperback)
NATO Science Series E: Percolation Processes: Theory and Applications: Theory and Applications, Book 33, (Paperback) $60.29
$6029current price $60.29NATO Science Series E: Percolation Processes: Theory and Applications: Theory and Applications, Book 33, (Paperback)
Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedin, (Paperback) $54.99
$5499current price $54.99Web Reasoning and Rule Systems: 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012, Proceedin, (Paperback)
Communications in Computer and Informati Computer Assisted Assessment -- Research Into E-Assessment: International Conference, Caa 2014, Zeist, the Netherlands, , Book 439, (Paperback) $60.29
$6029current price $60.29Communications in Computer and Informati Computer Assisted Assessment -- Research Into E-Assessment: International Conference, Caa 2014, Zeist, the Netherlands, , Book 439, (Paperback)
Monographs in Theoretical Computer Scien Products of Automata, Book 7, (Paperback) $60.29
$6029current price $60.29Monographs in Theoretical Computer Scien Products of Automata, Book 7, (Paperback)
Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revise, (Paperback) $62.35
$6235current price $62.35Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revise, (Paperback)
Lecture Notes in Computer Science Large-Scale Scientific Computing: Third International Conference, Lssc 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised, Book 2179, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Large-Scale Scientific Computing: Third International Conference, Lssc 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised, Book 2179, (Paperback)
Lecture Notes in Computer Science Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Pa, Book 2399, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Pa, Book 2399, (Paperback)
Theory and Applications of Formal Argumentation: 4th International Workshop, Tafa 2017, Melbourne, Vic, Australia, Augus, (Paperback) $56.14
$5614current price $56.14Theory and Applications of Formal Argumentation: 4th International Workshop, Tafa 2017, Melbourne, Vic, Australia, Augus, (Paperback)
Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 1, Book 1135, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 1, Book 1135, (Paperback)
Wireless Systems and Mobility in Next Generation Internet: First International Workshop of the Euro-Ngi Network of Excel, (Paperback) $54.99
$5499current price $54.99Wireless Systems and Mobility in Next Generation Internet: First International Workshop of the Euro-Ngi Network of Excel, (Paperback)
Lecture Notes in Computer Science Computer Science Logic: 12th International Workshop, Csl'98, Annual Conference of the Eacsl, Brno, Czech Republic, Augus, Book 1584, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computer Science Logic: 12th International Workshop, Csl'98, Annual Conference of the Eacsl, Brno, Czech Republic, Augus, Book 1584, (Paperback)
Software Testing: A Craftsman's Approach, Fifth Edition, (Paperback) $57.08
$5708current price $57.08Software Testing: A Craftsman's Approach, Fifth Edition, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
