An Effective QBF Solver for Planning Problems. - Charles Otwell; Anja Remshagen; Klaus Truemper (MSV/AMCS, 2004)