Open menu
Siu Wa Cindy Chow
Obtaining an efficient deductive strategy for a conjuctive search space