47 search results - page 5 / 10 » Automated Configuration of Mixed Integer Programming Solvers |
105
click to vote
EWCBR
2004
Springer
15 years 4 months ago
2004
Springer
The concept of generalized cases has been proven useful when searching for configurable and flexible products, for instance, reusable components in the area of electronic design au...
117
Voted
COR
2010
15 years 25 days ago
2010
Companies in the concrete industry are facing the following scheduling problem on a daily basis: concrete produced at several plants has to be delivered at customers' constru...
MJ
2007
15 years 7 days ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
109
Voted
4OR
2004
15 years 19 days ago
2004
This paper considers packing problems with balancing conditions and items consisting of clusters of parallelepipeds (mutually orthogonal, i.e. tetris-like items). This issue is qu...
105
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
This paper proposes several operational approaches for solving fair allocation problems in the context of multiagent optimization. These problems arise in various contexts such as ...