589 search results - page 49 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
164
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...
159
click to vote
AAAI
2007
15 years 8 months ago
2007
The paper presents and evaluates the power of best-first search over AND/OR search spaces in graphical models. The main virtue of the AND/OR representation is its sensitivity to ...
140
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This work studies the mGA operator (Micro Genetic Algorithm), that has been proposed in literature as a “local search” operator for optimization with Genetic Algorithm. A new ...
152
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...
174
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...