Peter van Beek Xinguang Chen CPlan: A Constraint Programming Approach to Planning. 585-590 1999 AAAI/IAAI db/conf/aaai/aaai99.html#BeekC99