University of Connecticut
Storrs, CT, United States
Laurent's primary research interests lie at the intersection of Programming Language and Combinatorial Optimization. His efforts are directed to the construction of software tools that considerably simplify the development of complex application (most belong to the NP class) for discrete and continuous optimization problems. He co-authored COMET, the first Platform for Constraint-Based Local Search and is now focusing on the Objective-CP systems meant to support hybrid efforts in optimization technology. The open-source and hybrid-friendly platform features a clean separation of modeling from solving and search and features a diverse collection of constraint technologies including LP, MIP, CP, CBLS. Its CP capabilities including finite domain reasoning, reasoning over the reals, floats and bit-vectors.