translate assignment into truth values x1 x2 !x3 x4 !x5 !x6 -> true true false true false false /home/lieber/.www/courses/csu670/sp09/DemeterF/examples/sign-clean Review of concepts of SDG game T Ball: derivative d break-even[d] look-ahead[d](b) look-ahead[r](b) maximize look-ahead polynomial maximum bias: b_max break-even[d] = look-ahead[d] (b_max) break-even[d] if raw materials may be arbitrary large Code review From 1 to 2