Two papers from the Constraint Reasoning and Optimization group will be presented in November 2018 at KR 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning.