AI Planning through Mixed-Integer Programming. - Harry Bovik; Sergey Shishkin; Yuri Smirnov (IC-AI, 2007)