Gå direkte til innholdet
Solving Combinatorial Problems with SAT
Spar

Solving Combinatorial Problems with SAT

Forfatter:
pocket, 2013
Engelsk
A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012
ISBN
9781291308976
Språk
Engelsk
Vekt
236 gram
Utgivelsesdato
16.1.2013
Forlag
Lulu.com
Antall sider
124