Proceedings of the Ninth International Symposium on Combinatorial Search (SoCS 2016)