6th Annual Symposium on Combinatorial Search (SoCS 2013)
Leavenworth, WA, USA
July 2013
Florian Drews, Dennis Luxen