Proceedings of the 10th Annual Symposium on Combinatorial Search, SoCS 2017 Conference uri icon