Zhao Xing, Yixin Chen, Weixiong Zhang: Optimal STRIPS Planning by Maximum Satisfiability and Accumulative Learning. ICAPS 2006: 442-446