Stefan Andrei Peggy Doerschuk SAT-based Weighted Planning. 70-75 2008 ARCS conf/arcsf/2008 db/conf/arcsf/arcs2008.html#AndreiD08