Articoli correlati a Solving Combinatorial Problems with SAT

Solving Combinatorial Problems with SAT - Brossura

Chebiryak, Yury

 
9781291308976: Solving Combinatorial Problems with SAT

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.