Allen Van Gelder
Theory and applications of satisfiability teasting - SAT 2013
Allen Van Gelder · 2013
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
- 2013
- Language
- English
- Series
- Lecture notes in computer science -- 7962
- Publisher
- Springer
- Editions
- 1
- Pages
- 436
- ISBN
- 9783642390708
Data source: Wikidata