Combinatorial search: From algorithms to systems - Hamadi, Youssef (New York Springer, 2013)