882 search results - page 32 / 177 » Local Search for Very Large SAT Problems |
103
click to vote
HEURISTICS
2002
14 years 11 months ago
2002
This paper presents operators searching large neighborhoods in order to solve the vehicle routing problem. They make use of the pruning and propagation techniques of constraint pr...
109
click to vote
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
EVOW
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of designing error correcting codes (ECC), a hard combinatorial optimization problem of relevance in the field of telecommunications. This problem is tackl...
249
click to vote
EOR
2007
14 years 11 months ago
2007
Professional sports leagues are a major economic activity around the world. Teams and leagues do not want to waste their investments in players and structure in consequence of poo...
150
click to vote
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
With the increased abilities for automated data collection made possible by modern technology, the typical sizes of data collections have continued to grow in recent years. In suc...