Items related to Theory and Applications of Satisfiability Testing --...

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings - Softcover

 
9783319243191: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
Softcover
ISBN 10: 3319243195 ISBN 13: 9783319243191
Publisher: Springer, 2015

This specific ISBN edition is currently not available.

  • PublisherSpringer
  • Publication date2015
  • ISBN 10 3319243195
  • ISBN 13 9783319243191
  • BindingPaperback
  • LanguageEnglish
  • Number of pages458
  • EditorHeule Marijn, Weaver Sean

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319243177: Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings: 9340 (Lecture Notes in Computer Science, 9340)

Featured Edition

ISBN 10:  3319243179 ISBN 13:  9783319243177
Publisher: Springer, 2015
Softcover