Jin-Kao Hao. A Clausal Genetic Representation and its Evolutionary Procedures for Satisfiability Problems. In David W. Pearson, Nigel C. Steele, Rudolf F. Albrecht, editors, Artificial Neural Nets and Genetic Algorithms, ICANNGA 1995, Proceedings of the International Conference in Alès, France, 1995. pages 289-292, Springer, 1995. [doi]
Abstract is missing.