A Clausal Genetic Representation and its Evolutionary Procedures for Satisfiability Problems

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 289-292
https://doi.org/10.1007/978-3-7091-7535-4_76

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

On the greedy algorithm for satisfiability
Information Processing Letters, 1992
Optimization by Simulated Annealing
Science, 1983