submissions. The papers are organized in topical sections on Constraints, search and