Siirry suoraan sisältöön
Solving Combinatorial Problems with SAT
Tallenna

Solving Combinatorial Problems with SAT

Kirjailija:
pokkari, 2013
englanti
A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012
Kirjailija
Yury Chebiryak
ISBN
9781291308976
Kieli
englanti
Paino
236 grammaa
Julkaisupäivä
16.1.2013
Kustantaja
Lulu.com
Sivumäärä
124