589 search results - page 76 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
WWW
2010
ACM
15 years 6 months ago
2010
ACM
When you write papers, how many times do you want to make some citations at a place but you are not sure which papers to cite? Do you wish to have a recommendation system which ca...
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
—A novel Fast Bacterial Swarming Algorithm (FBSA) for high-dimensional function optimization is presented in this paper. The proposed algorithm combines the foraging mechanism of...
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Rigorous runtime analyses of evolutionary algorithms (EAs) mainly investigate algorithms that use elitist selection methods. Two algorithms commonly studied are Randomized Local S...
ICPPW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper addresses the Microarray Gene Ordering problem. It consists in ordering a set of genes, grouping together the ones with similar behavior. This behavior can be measured ...