152 search results - page 31 / 31 » Efficiently Exploiting Dependencies in Local Search for SAT |
CEC
2010
IEEE
13 years 6 months ago
2010
IEEE
The optimization of spacecraft trajectories can be formulated as a global optimization task. The complexity of the problem depends greatly on the problem formulation, on the spacec...
BMCBI
2010
13 years 5 months ago
2010
Background: A relevant problem in drug design is the comparison and recognition of protein binding sites. Binding sites recognition is generally based on geometry often combined w...