73 search results - page 15 / 15 » The SAT 2005 Solver Competition on Random Instances |
AI
2000
Springer
13 years 5 months ago
2000
Springer
GENET is a heuristic repair algorithm which demonstrates impressive e ciency in solving some large-scale and hard instances of constraint satisfaction problems (CSPs). In this pap...
TEC
2011
13 years 6 days ago
2011
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
WADS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. A central issue in the design of modern communication networks is the provision of Quality-of-Service (QoS) guarantees at the presence of heterogeneous users. For instanc...