2266 search results - page 219 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
106
click to vote
COCOON
2009
Springer
15 years 9 months ago
2009
Springer
We discuss the nearly equitable edge coloring problem on a multigraph and propose an efficient algorithm for solving the problem, which has a better time complexity than the previ...
119
click to vote
SODA
2010
ACM
16 years 15 days ago
2010
ACM
In this paper the online pull-based broadcast model is considered. In this model, there are n pages of data stored at a server and requests arrive for pages online. When the serve...
166
click to vote
ALGOSENSORS
2006
Springer
15 years 6 months ago
2006
Springer
Ad hoc sensor networks consist of large number of wireless sensors that communicate with each other in the absence of a xed infrastructure. Fast self-recon guration and power eci...
112
click to vote
CP
2000
Springer
15 years 7 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
118
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Niching schemes, which sustain population diversity and let an evolutionary population avoid premature convergence, have been extensively studied in the research field of evoluti...