Sciweavers

ANOR
2002
93views more  ANOR 2002»
13 years 3 months ago
Cutting and Surrogate Constraint Analysis for Improved Multidimensional Knapsack Solutions
We use surrogate analysis and constraint pairing in multidimensional knapsack problems to fix some variables to zero and to separate the rest into two groups
Maria A. Osorio, Fred Glover, Peter Hammer
TCAD
2008
97views more  TCAD 2008»
13 years 3 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella