Solving Combinatorial Problems with SAT - Couverture souple

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.