An automatic algorithm designer : an initial implementation Kant NewellAllen 2010 Computer Science Department