Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 7317 (Paperback)
  • Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 7317 (Paperback)
zoom

Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Theoretical Computer Science and General Issues 7317 (Paperback)

(editor), (editor)
£63.99
Paperback 500 Pages / Published: 22/06/2012
  • 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 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642316111
Number of pages: 500
Weight: 789 g
Dimensions: 235 x 155 x 26 mm
Edition: 2012 ed.

You may also be interested in...

Bootstrap
Added to basket
£15.99
Paperback
Designing Connected Products
Added to basket
UI is Communication
Added to basket
Don't Make Me Think, Revisited
Added to basket
Rocket Surgery Made Easy
Added to basket
The Best Interface Is No Interface
Added to basket
UX Strategy
Added to basket
£27.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.