2266 search results - page 147 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
White-box testing is an important method for the early detection of errors during software development. In this process test case generation plays a crucial role, defining appropr...
114
Voted
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
For computer-automated design systems to scale to complex designs they must be able to produce designs that exhibit the characteristics of modularity, regularity and hierarchy –...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Evolutionary computation algorithms are increasingly being used to solve optimization problems as they have many advantages over traditional optimization algorithms. In this paper...
128
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
We describe sequential and parallel algorithms that approximately solve linear programs with no negative coefficients (a.k.a. mixed packing and covering problems). For explicitly ...