Quantitatively Evaluating Formula-Variable Relevance by Forgetting.

Xin Liang, Zuoquan Lin, Jan Van den Bussche

Browse the full AI paper archive.