The Constraint Reasoning and Optimization group, with Matti Järvisalo as the project PI, has been awarded a new 600kEUR project grant by the Academy of Finland for a four-year period during 2019-2023 under the early-career researchers funding instrument. The project addresses important challenges in developing fundamental understanding on and scaling up the current state of the art in declarative constraint reasoning and Boolean optimization techniques.