The unsatisfiability threshold revisited.

Alexis C. Kaporis Lefteris M. Kirousis Yannis C. Stamatiou Malvina Vamvakari Michele Zito

Published in: Discret. Appl. Math. (2007)

Keyphrases

threshold selection
real time
artificial intelligence
computer vision
decision trees
search algorithm
group testing