Charles Otwell

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

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