Exploiting Irrelevance Reasoning to Guide Problem Solving.

Alon Y. Levy, Yehoshua Sagiv

Browse the full IJCAI paper archive.