A Simple Test Improves Checking Satisfiability.

Eliezer L. Lozinskii

Published in: J. Log. Program. (1993)

Keyphrases

genetic algorithm
search algorithm
black box
databases
image sequences
evolutionary algorithm