Solving Combinatorial Problems with SAT Chebiryak, Yury A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012 CHF 22.90 In Warenkorb legen