
Solving Combinatorial Problems with SAT
Versandkostenfrei!
Versandfertig in 1-2 Wochen
15,99 €
inkl. MwSt.
PAYBACK Punkte
8 °P sammeln!
A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012