swMATH13333MaRDI QIDQ25248FDOQ25248
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-24664-0_2
Cited In (18)
- An algorithm-independent measure of progress for linear constraint propagation
- Constraint programming and operations research
- A first look at picking dual variables for maximizing reduced cost fixing
- Constraint Integer Programming: A New Approach to Integrate CP and MIP
- TSPTW
- IsaMorph
- Valse-XT
- Sturmian
- A polyhedral approach to the \textit{alldifferent} system
- CRYSCOR
- cc(FD)
- molsturm
- SCIP: solving constraint integer programs
- Mixed integer programming versus logic-based Benders decomposition for planning and scheduling
- Interplay of analysis and probability in applied mathematics. Abstracts from the workshop held February 11--17, 2018
- Mathematical methods in quantum chemistry. Abstracts from the workshop held March 18--24, 2018
- An integrated solver for optimization problems
- A Search-Infer-and-Relax Framework for Integrating Solution Methods
This page was built for software: SIMPL