A Clausal Genetic Representation and its Evolutionary Procedures for Satisfiability Problems
This paper presents a clausal genetic representation for the satisfiability problem (SAT). This representation, CR for short, aims to conserve the intrinsic relations between variables for a given SAT instance. Based on CR, a set of evolutionary algorithms (EAs) are defined. In particular, a class of hybrid EAs integrating local search into evolutionary operators are detailed. Various fitness functions for measuring clausal individuals are identified and their relative merits analyzed. Some preliminary results are reported.
KeywordsLocal Search Genetic Operator Local Search Procedure Evolutionary Procedure Satisfying Assignment
Unable to display preview. Download preview PDF.
- Collective paper of Bahia project. “Comparative study of three formalisms in prepositional logic” (in French). 5ème Journées Nationales PRC-GDR en Intelligence Artificielle, Nancy, February 1995.Google Scholar
- De Jong K.A. and Spears W.M. “Using genetic algorithms to solve NP-complete problems”. Intl. Conf. on Genetic Algorithms (ICGA’89), Fairfax, Virginia, June 1989, pp l24–132.Google Scholar
- Dorne R. and Hao J.K. “New genetic operators based on a stratified population for SAT” (in French). Evolution Artificielle, Toulouse, France, September 1994.Google Scholar
- Glover F. and Laguna M. “Tabu search”. In .Google Scholar
- Gu J. “Efficient local search for very large-scale satisfiability problems”. SIGART Bulletin, Vol. 3, No. 1, January 1992.Google Scholar
- Hao J.K. and Dome R. “A new population-based method for satisfiability problems”. Proc. of 11th European Conf. on Artificial Intelligence (ECAI’94), Amsterdam, Aug. 94, pp 135–139.Google Scholar
- Lawrence D. “Handbook of genetic algorithms”. Van Nostrand Reinhold, New York, 1991.Google Scholar
- Mitchell M., Selman B. and Levesque H., “Hard and easy distributions of SAT problem”. Proc. of the AAAI’92, San Jose, CA, 1992, pp 459–465.Google Scholar
- Selman B., Levesque H. and Mitchell M. “A new method for solving hard satisfiability problems”. Proc. of the AAAI’92, San Jose, CA, 1992, pp 440–446.Google Scholar
- Selman B., Kautz H.A. and Bram C. “Noise strategies for improving local search”. Proc. of the AAAI’94, Seattle, WA, 1994.Google Scholar
- Spears W.M. “Simulated annealing for hard satisfiability problems”. NCARAI Technical Report #AIC-93-015, Washington D.C. July 1993.Google Scholar
- Young R.A. and Reel A. “A hybrid genetic algorithm for a logic problem”. Proc. of the 9th European Conf. on Artificial Intelligence, Stockholm, Sweden, Aug. 1990, pp 744–746.Google Scholar