2108 search results - page 144 / 422 » Constrained Heuristic Search |
135
Voted
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
130
Voted
VLDB
1997
ACM
15 years 5 months ago
1997
ACM
A new access method, called M-tree, is proposed to organize and search large data sets from a generic "metric space", i.e. where object proximity is only defined by a di...
106
click to vote
EOR
2006
15 years 1 months ago
2006
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
101
click to vote
EOR
2006
15 years 1 months ago
2006
This paper considers a project scheduling problem with the objective of minimizing resource availability costs, taking into account a deadline for the project and precedence relat...
124
click to vote
CPAIOR
2005
Springer
15 years 7 months ago
2005
Springer
The effects of combining search and modelling techniques can be complex and unpredictable, so guidelines are very important for the design and development of effective and robust s...