Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Lecture Notes in Computer Science 7962 (Paperback)
  • Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Lecture Notes in Computer Science 7962 (Paperback)
zoom

Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Lecture Notes in Computer Science 7962 (Paperback)

(editor), (editor)
£54.99
Paperback 437 Pages / Published: 19/07/2013
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642390708
Number of pages: 437
Weight: 694 g
Dimensions: 235 x 155 x 23 mm
Edition: 2013 ed.

You may also be interested in...

Arduino For Dummies
Added to basket
£16.99
Paperback
Automate The Boring Stuff With Python
Added to basket
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Python 3 for Absolute Beginners
Added to basket
Coding for Beginners in easy steps
Added to basket
Python Pocket Reference
Added to basket
How to Build a Billion Dollar App
Added to basket
JavaScript in Easy Steps
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
Core Python Applications Programming
Added to basket
Building Android Apps in Easy Steps
Added to basket
Python for Finance
Added to basket
£35.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Learning Python
Added to basket
£51.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.