Harry Bovik Sergey Shishkin Yuri Smirnov AI Planning through Mixed-Integer Programming. 527-534 2007 conf/icai/2007-2 IC-AI db/conf/icai/icai2007-2.html#BovikSS07