UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.

Lifeng He

Browse the full IJCAI paper archive.