2266 search results - page 1 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
EC
2002
14 years 4 months ago
2002
Several evolutionary algorithms have been proposed for the satisfiability problem. We review the solution representations suggested in literature and choose the most promising one...
TAINN
2005
Springer
14 years 10 months ago
2005
Springer
Satisfiability problem is an NP-complete problem that finds itself or its variants in many combinatorial problems. There exist many complete algorithms that give successful results...
SAC
2000
ACM
14 years 8 months ago
2000
ACM
EC
2006
14 years 4 months ago
2006
This paper presents GASAT, a hybrid algorithm for the satisfiability problem (SAT). The main feature of GASAT is that it includes a recombination stage based on a specific crossov...
EC
2008
14 years 4 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...