Combinatorial Search: From Algorithms to Systems

Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers

Handbook of Parallel Constraint Reasoning

Autonomous Search