Schmidt, T.; Zhou, R. Succinct Set-Encoding for State-Space Search. AAAI 2011, 25, 87-92.