Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning.

Jian Zhong, Peiyao Liu, Shuwei Chen

Browse the full ISKE paper archive.