435 search results - page 1 / 87 » Partitioning Search Spaces of a Randomized Search |
AIIA
2009
Springer
13 years 11 months ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
CODES
2004
IEEE
13 years 8 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
GPEM
2000
13 years 4 months ago
2000
Abstract. Size fair and homologous crossover genetic operators for tree based genetic programming are described and tested. Both produce considerably reduced increases in program s...
AAAI
1996
13 years 6 months ago
1996
We present an improvement to Harvey and Ginsberg's limited discrepancy search algorithm, which eliminates much of the redundancy in the original, by generating each path from...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
