Organizational evolutionary algorithm for SAT problem

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 27, Issue 10, 2004, Pages 1422-1428

  Liu, Jing ^a   Zhong, Wei Cai ^a   Liu, Fang ^a   Jiao, Li Cheng ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Evolutionary algorithms; Organization; SAT problem

Indexed keywords

GENETIC ALGORITHMS; LEARNING ALGORITHMS;

ANNEXING OPERATOR; OEASAT; ORGANIZATIONAL EVOLUTIONARY ALGORITHM; SAT PROBLEM; SATISFIABILITY PROBLEM; SELF LEARNING OPERATOR; SPLITTING OPERATOR;

EVOLUTIONARY ALGORITHMS;

EID: 10444259857     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Selman B., Kautz H. A., Cohen B.. Noise strategies for improving local search. In: Proceedings of the 12th National Conference on Artificial Intelligence, American Association for Artificial Intelligence, Seattle, Washington, 1994, 337-343
2. Folino G., Pizzuti C., Spezzano G.. Parallel hybrid method for SAT that couples genetic algorithms and local search. IEEE Transactions on Evolutionary Computation, 2001, 5(4): 323-334
3. Zhang Ling, Zhang Bo. Good point set based genetic algorithm. Chinese Journal of Computers, 2001, 24(9): 917-922(in Chinese)
4. Zhang De-Fu, Huang Wen-Qi, Wang Hou-Xiang. Personification annealing algorithm for solving SAT problem. Chinese Journal of Computers, 2002, 25(2): 148-152(in Chinese)
5. Liu Jing, Zhong Wei-Cai, Liu Fang, Jiao Li-Cheng. Classification based on organizational coevolutionary algorithm. Chinese Journal of Computers, 2003, 26(4): 446-453(in Chinese)
6. Liu Jing, Zhong Wei-Cai, Liu Fang, Jiao Li-Cheng. An organizational evolutionary algorithm for constrained and unconstrained optimization problems. Chinese Journal of Computers, 2004, 27(2): 157-167(in Chinese)
7. Coase R. H.. The Firm, the Market, and the Law. Chicago: University of Chicago Press, 1988
8. Wilcox J. R.. Organizational learning within a learning classifier system [M. S. dissertation]. University of Illinois, Illinois, USA, 1995
9. Mitchell D., Selman B., Levesque H.. Hard and easy distributions of SAT problems. In: Proceedings of the 10th National Conference on Artificial Intelligence, American Association for Artificial Intelligence, 1992, 459-465
10. Gottlieb J., Marchiori E., Rossi C.. Evolutionary algorithms for the satisfiability problem. Evolutionary Computation, 2002, 10(1): 35-50
11. Gottlieb J., Voss N.. Adaptive fitness functions for the satisfiability problem. In: Proceedings of the 6th International Conference on Parallel Problem Solving from Nature, Lecture Notes in Computer Science 1917, Berlin, Germany: Springer, 2000, 621-630