2266 search results - page 199 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
133
click to vote
IWANN
2009
Springer
15 years 9 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
123
click to vote
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
Meiotic recombination is a fundamental biological event and one of the principal evolutionary forces responsible for shaping genetic variation within species. In addition to its fu...
120
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We study algorithmic problems that are motivated by bandwidth trading in next generation networks. Typically, bandwidth trading involves sellers (e.g., network operators) interest...
124
click to vote
SODA
1998
ACM
15 years 4 months ago
1998
ACM
A fundamental facility location problem is to choose the location of facilities, such as industrial plants and warehouses, to minimize the cost of satisfying the demand for some c...
140
click to vote
JUCS
2010
15 years 1 months ago
2010
: River Formation Dynamics (RFD) is an evolutionary computation method based on copying how drops form rivers by eroding the ground and depositing sediments. Given a cost-evaluated...