Aria Haghighi John DeNero Dan Klein A* Search via Approximate Factoring. 1642-1645 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#HaghighiDK07