OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving.

Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou

Browse the full SNPD paper archive.