Sciweavers

440 search results - page 18 / 88
» Local Search Heuristics for the Multidimensional Assignment ...
Sort
View
ECAI
2008
Springer
13 years 9 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
EVOW
2009
Springer
14 years 2 months ago
Iterated Local Search for Minimum Power Symmetric Connectivity in Wireless Networks
The problem of finding a symmetric connectivity topology with minimum power consumption in a wireless ad-hoc network is NPhard. This work presents a new iterated local search to s...
Steffen Wolf, Peter Merz
COR
2010
146views more  COR 2010»
13 years 7 months ago
A search space "cartography" for guiding graph coloring heuristics
We present a search space analysis and its application in improving local search algorithms for the graph coloring problem. Using a classical distance measure between colorings, w...
Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz
ISPD
2009
ACM
126views Hardware» more  ISPD 2009»
14 years 2 months ago
A new algorithm for simultaneous gate sizing and threshold voltage assignment
Gate sizing and threshold voltage (Vt) assignment are popular techniques for circuit timing and power optimization. Existing methods, by and large, are either sensitivity-driven h...
Yifang Liu, Jiang Hu
GECCO
2006
Springer
173views Optimization» more  GECCO 2006»
13 years 11 months ago
Ant colony optimization technique for equilibrium assignment in congested transportation networks
This paper deals with transport user equilibrium. A modified version of the ant colony system is proposed where the ant colony heuristic is adapted in order to take into account a...
Matteo Matteucci, Lorenzo Mussone