Optimal STRIPS Planning by Maximum Satisfiability and Accumulative Learning