Roman Bartak

• Proceedings of the Seventh International Symposium on Combinatorial Search (Socs-2014)