Solving Combinatorial Problems with SAT - Softcover

Chebiryak, Yury

 
9781291308976: Solving Combinatorial Problems with SAT

Synopsis

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

"synopsis" may belong to another edition of this title.