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)Matti Jarvisalo (editor), Allen van Gelder (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 437
Weight: 694 g
Dimensions: 235 x 155 x 23 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review