- SKU: 9781291308976
- BARCODE: 9781291308976
- VENDOR: BooksCloud
Solving Combinatorial Problems with SAT - Paperback
Couldn't load pickup availability
Description
by Yury Chebiryak (Author)
A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012