Sciweavers

2 search results - page 1 / 1
» Symmetric ILP: Coloring and small integers
Sort
View
DISOPT
2007
96views more  DISOPT 2007»
13 years 6 months ago
Symmetric ILP: Coloring and small integers
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
François Margot
DATE
2004
IEEE
175views Hardware» more  DATE 2004»
13 years 10 months ago
Breaking Instance-Independent Symmetries in Exact Graph Coloring
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Kare...