Title: Obtaining an efficient deductive strategy for a conjuctive search space