Experimental Results on the Crossover Point in Satisfiability Problems.

James M. Crawford Larry D. Auton

Published in: AAAI (1993)

Keyphrases

satisfiability problem
genetic algorithm
evolutionary algorithm
np complete
orders of magnitude
temporal logic