Skip navigation

Pascal Van Hentenryck

Pascal Van Hentenryck is Professor in the Department of Computer Science at Brown University. He is the author or editor of several MIT Press books.

Titles by This Author

A Modeling Language for Global Optimization

Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimization that makes it possible to state nonlinear problems in a form close to the statements traditionally found in textbooks and scientific papers.

Titles by This Editor

The 11th International Conference

Conference proceedings presenting the state-of-the-art in Logic Programming.