Gihwon Kwon, Taehoon Lee: Solving Box-Pushing Games via Model Checking with Optimizations. ATVA 2004: 491-494