Average Time Analysis of Clause Order Backtracking.

Khaled M. Bugrara Paul Walton Purdom Jr.

Published in: SIAM J. Comput. (1993)

Keyphrases

website
image segmentation
expert systems
multiresolution
statistical analysis
orders of magnitude