2266 search results - page 47 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
121
click to vote
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
GECCO
2008
Springer
15 years 27 days ago
2008
Springer
In this paper we describe an improvement of an entropy-based diversity preservation approach for evolutionary algorithms. This approach exploits the information contained not only...
VL
2005
IEEE
15 years 5 months ago
2005
IEEE
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speci...
103
click to vote
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe and critique the convergence properties of filterbased evolutionary pattern search algorithms (F-EPSAs). F-EPSAs implicitly use a filter to perform a multi-...
106
click to vote
C3S2E
2010
ACM
15 years 28 days ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...