A Threshold for Unsatisfiability.

Published in: J. Comput. Syst. Sci. (1996)

Keyphrases

group testing
real time
genetic algorithm
three dimensional
artificial intelligence
computer vision
objective function
lower bound
constraint satisfaction