Solving Combinatorial Problems with SAT

Chebiryak, Yury

Solving Combinatorial Problems with SAT

Solving Combinatorial Problems with SAT

Chebiryak, Yury

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

CHF 22.90

Lieferbar

ISBN	9781291308976
Sprache	eng
Cover	Kartonierter Einband (Kt)
Verlag	Lulu.com
Jahr	20130116

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.

.lang-group, .lang-btn { display: inline-block !important; } .lang-list {display: none;}