Roman BartakBooksProceedings of the Seventh International Symposium on Combinatorial Search (Socs-2014)Author data: Open Library