Christoph M. Wintersteiger

Theory and Applications of Satisfiability Testing - SAT 2018
Christoph M. Wintersteiger · 2018
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2018
- Publisher
- Springer
- Editions
- 1
- Pages
- 472
- ISBN
- 9783319941431
Data source: Wikidata