Uzi Zahavi Ariel Felner Robert Holte Jonathan Schaeffer Dual Search in Permutation State Spaces. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#ZahaviFHS06