Solving Combinatorial Problems with SAT - Tapa blanda

Chebiryak, Yury

 
9781291308976: Solving Combinatorial Problems with SAT

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.