A little wonder in every chapter. Find your next favourite read
bookorelle.A LITTLE WONDER IN EVERY CHAPTER
♡0Bag 0
Need a hand? Visit our FAQ →
Theory and Applications of Satisfiability Testing - SAT 2014

Theory and Applications of Satisfiability Testing – SAT 2014

€ 62,49

Theory and Applications of Satisfiability Testing – SAT 2014 — 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. An English-language digital edition by Carsten Sinz (Editor); Uwe Egly (Editor), available in PDF.

Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.

SKU: EBC-2473934 Category:

Description

About this book

Theory and Applications of Satisfiability Testing – SAT 2014 — 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. An English-language digital edition by Carsten Sinz (Editor); Uwe Egly (Editor), available in PDF.

Edition details

  • Author / contributors: Carsten Sinz (Editor); Uwe Egly (Editor)
  • Publisher: Springer International Publishing
  • Publication date: July 02, 2014
  • Language: English
  • ISBNs: 9783319092836; 9783319092843
  • Digital formats: PDF

Additional information

Author

Carsten Sinz (Editor); Uwe Egly (Editor)
Publisher

Springer International Publishing
Language

English
ISBN

9783319092836, 9783319092843
Format

PDF
Publication date

July 02, 2014
DRM

DRM-free edition available
Download format PDF (.pdf)

Reviews

There are no reviews yet.

Be the first to review “Theory and Applications of Satisfiability Testing – SAT 2014”

Your email address will not be published. Required fields are marked *

Related products