Solving Combinatorial Problems with SAT
Solving Combinatorial Problems with SAT
  • SKU: 9781291308976
  • BARCODE: 9781291308976
  • VENDOR: BooksCloud

Solving Combinatorial Problems with SAT - Paperback

$26.69
 per 
In stock!
Select The Options Above
Description

by Yury Chebiryak (Author)

A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012

Number of Pages: 124
Dimensions: 0.26 x 9.69 x 7.44 IN
Publication Date: January 16, 2013
Add to Cart Select The Options Above