882 search results - page 45 / 177 » Local Search for Very Large SAT Problems |
125
Voted
WETICE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—DHT systems are structured overlay networks capable of using P2P resources as a scalable platform for very large data storage applications. However, their efficiency ex...
121
Voted
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
134
Voted
HM
2007
Springer
15 years 7 months ago
2007
Springer
Optimization in sports is a field of increasing interest. A novel problem in sports management is the Referee Assignment Problem, in which a limited number of referees with differe...
125
Voted
HEURISTICS
2008
15 years 3 months ago
2008
In this talk we present a unified Variable Neighborhood Search (VNS) algorithm for the Capacitated Arc Routing Problem (CARP) and some of its variants - the Capacitated Arc Routin...
150
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...