Solving Combinatorial Problems with SAT - Softcover

Chebiryak, Yury

 
9781291308976: Solving Combinatorial Problems with SAT

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.