|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
UKSim 2009: 11th International Conference on Computer Modelling and Simulation
An Enhanced Fuzzy-Genetic Algorithm to Solve Satisfiability Problems
March 25-March 27
ISBN: 978-0-7695-3593-7
| ASCII Text | x | ||
| José Francisco Saray Villamizar, Youakim Badr, Ajith Abraham, "An Enhanced Fuzzy-Genetic Algorithm to Solve Satisfiability Problems," Computer Modeling and Simulation, International Conference on, pp. 77-82, UKSim 2009: 11th International Conference on Computer Modelling and Simulation, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/UKSIM.2009.106, author = {José Francisco Saray Villamizar and Youakim Badr and Ajith Abraham}, title = {An Enhanced Fuzzy-Genetic Algorithm to Solve Satisfiability Problems}, journal ={Computer Modeling and Simulation, International Conference on}, volume = {0}, year = {2009}, isbn = {978-0-7695-3593-7}, pages = {77-82}, doi = {http://doi.ieeecomputersociety.org/10.1109/UKSIM.2009.106}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Computer Modeling and Simulation, International Conference on TI - An Enhanced Fuzzy-Genetic Algorithm to Solve Satisfiability Problems SN - 978-0-7695-3593-7 SP77 EP82 A1 - José Francisco Saray Villamizar, A1 - Youakim Badr, A1 - Ajith Abraham, PY - 2009 KW - Satisfiability KW - Genetic Algorithms KW - fuzzy logic KW - NP-Completeness KW - Evolutionary Computation VL - 0 JA - Computer Modeling and Simulation, International Conference on ER - | |||
The satisfiability is a decision problem that belongs toNP-complete class and has significant applications invarious areas of computer science. Several works haveproposed high-performance algorithms and solvers toexplore the space of variables and look for satisfyingassignments. Pedrycz, Succi and Shai [1] have studieda fuzzy-genetic approach which demonstrates that aformula of variables can be satisfiable by assigningBoolean variables to partial true values between 0 and1. In this paper we improve this approach by proposingan improved fuzzy-genetic algorithm to avoidundesired convergence of variables to 0.5. Thealgorithm includes a repairing function that eliminatesthe recursion and maintains a reasonable computationalconvergence and adaptable population generation.Implementation and experimental results demonstratethe enhancement of solving satisfiability problems.
Index Terms:
Satisfiability, Genetic Algorithms, fuzzy logic, NP-Completeness, Evolutionary Computation
Citation:
José Francisco Saray Villamizar, Youakim Badr, Ajith Abraham, "An Enhanced Fuzzy-Genetic Algorithm to Solve Satisfiability Problems," uksim, pp.77-82, UKSim 2009: 11th International Conference on Computer Modelling and Simulation, 2009
Usage of this product signifies your acceptance of the Terms of Use.
