• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Solving Combinatorial Problems with SAT

Solving Combinatorial Problems with SAT

Paperback

General Computers

ISBN10: 1291308970
ISBN13: 9781291308976
Publisher: Lulu Pr
Published: Jan 16 2013
Pages: 124
Weight: 0.52
Height: 0.26 Width: 7.44 Depth: 9.69
Language: English
A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by Yury Chebiryak, 2012

Also in

General Computers