Proceedings, The Sixth International Symposium on Combinatorial Search (SoCS 2013)
Heuristic search and other forms of combinatorial search optimizations are currently very active areas of research in artificial intelligence, robotics, planning, and other areas of computer science. The International Symposium on Combinatorial Search (SoCS) is meant to bring researchers in such areas together to exchange ideas and cross traditional academic boundaries.
This volume contains the papers accepted for presentation at SoCS 2013, the Sixth Annual Symposium on Combinatorial Search, held in Leavenworth, Washington, USA on July 11–13, 2013. SoCS 2013 was held in cooperation with AAAI and collocated with the Twenty-Seventh AAAI Conference (AAAI 2013) and the 10th Symposium on Abstraction, Reformulation, and Approximation (SARA 2013).