Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS.

Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu

Browse the full ISKE paper archive.