and parameter estimation can be formulated as optimization problems that are governed by partial differential equations (PDEs). The complexities of the PDEs - and the requirement for rapid solution - ...

The Constraint Reasoning and Optimization group, led by Professor Matti Järvisalo, focuses on the development and analysis of state-of-the-art decision, search, and optimization procedures, and their ...