882 search results - page 50 / 177 » Local Search for Very Large SAT Problems |
101
click to vote
CP
2006
Springer
15 years 3 months ago
2006
Springer
In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However...
106
click to vote
LION
2007
Springer
15 years 6 months ago
2007
Springer
This paper is about Reinforcement Learning (RL) applied to online parameter tuning in Stochastic Local Search (SLS) methods. In particular a novel application of RL is considered i...
115
click to vote
BIBE
2006
IEEE
15 years 5 months ago
2006
IEEE
DNA sequence alignment is a critical step in identifying homology between organisms. The most widely used alignment program, ClustalW, is known to suffer from the local minima pro...
HM
2010
Springer
15 years 28 days ago
2010
Springer
The problem of designing workforce shifts and break patterns is a relevant employee scheduling problem that arises in many contexts, especially in service industries. The issue is ...
WAIM
2005
Springer
15 years 5 months ago
2005
Springer
Driven by many real applications, in this paper we study the problem of similarity search with implicit object features; that is, the features of each object are not pre-computed/e...