Sciweavers

2393 search results - page 38 / 479
» Bounds-Consistent Local Search
Sort
View
JSAT
2008
99views more  JSAT 2008»
13 years 7 months ago
A Switching Criterion for Intensification and Diversification in Local Search for SAT
We propose a new switching criterion, namely the evenness or unevenness of the distribution of variable weights, and use this criterion to combine intensification and diversificat...
Wanxia Wei, Chu Min Li, Harry Zhang
EVOW
2010
Springer
14 years 2 months ago
A Local Search Appproach for Transmembrane Segment and Signal Peptide Discrimination
Discriminating between secreted and membrane proteins is a challenging task. This is particularly true for discriminating between transmembrane segments and signal peptides because...
Sami Laroum, Dominique Tessier, Béatrice Du...
TAINN
2005
Springer
14 years 1 months ago
An Evolutionary Local Search Algorithm for the Satisfiability Problem
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
Levent Aksoy, Ece Olcay Gunes
EMO
2003
Springer
137views Optimization» more  EMO 2003»
14 years 27 days ago
A Two-Phase Local Search for the Biobjective Traveling Salesman Problem
This article proposes the Two-Phase Local Search for finding a good approximate set of non-dominated solutions. The two phases of this procedure are to (i) generate an initial sol...
Luis Paquete, Thomas Stützle
AAAI
2008
13 years 10 months ago
Efficiently Exploiting Dependencies in Local Search for SAT
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
Duc Nghia Pham, John Thornton, Abdul Sattar