Charles Otwell Anja Remshagen Klaus Truemper An Effective QBF Solver for Planning Problems. 311-316 2004 conf/msv/2004 MSV/AMCS db/conf/msv/msv2004.html#OtwellRT04