2266 search results - page 187 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
123
click to vote
CP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we present and evaluate an evolutionary approach for learning new constraint satisfaction algorithms, specifically for MAX-SAT optimisation problems. Our approach of...
EVOW
2005
Springer
15 years 7 months ago
2005
Springer
University Course Timetabling-Problems (UCTPs) involve the allocation of resources (such as rooms and timeslots) to all the events of a university, satisfying a set of hard-constra...
211
click to vote
SEMCCO
2010
14 years 12 months ago
2010
Differential Evolution (DE) has attracted much attention recently as an effective approach for solving numerical optimization problems. However, the performance of DE is sensitive ...
114
click to vote
COCO
2004
Springer
15 years 7 months ago
2004
Springer
We prove a parameterized analog of Schaefer’s Dichotomy Theorem: we show that for every finite boolean constraint family F, deciding whether a formula containing constraints fr...
112
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...