Pages that link to "Item:Q424416"
From MaRDI portal
The following pages link to Integration of AI and OR techniques in contraint programming for combinatorial optimzation problems. 9th international conference, CPAIOR 2012, Nantes, France, May 28--June 1, 2012. Proceedings (Q424416):
Displaying 12 items.
- On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations (Q280157) (← links)
- Weak and strong solvability of interval linear systems of equations and inequalities (Q389688) (← links)
- \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers (Q721162) (← links)
- A microkernel architecture for constraint programming (Q1706769) (← links)
- A hybrid differential evolution algorithm with column generation for resource constrained job scheduling (Q2003586) (← links)
- Nonlinear biobjective optimization: improving the upper envelope using feasible line segments (Q2022248) (← links)
- Propagation complete encodings of smooth DNNF theories (Q2079276) (← links)
- Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem (Q2195980) (← links)
- Nonlinear biobjective optimization: improvements to interval branch \& bound algorithms (Q2274873) (← links)
- Bounds on the size of PC and URC formulas (Q5145828) (← links)
- Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 -- June 1, 2023. Proceedings (Q6114345) (← links)
- A genetic algorithm for the resource-constrained project scheduling problem with alternative subgraphs using a Boolean satisfiability solver (Q6565426) (← links)