Multi-clause synergized contradiction separation based first-order theorem prover — MC-SCS | IEEE Conference Publication | IEEE Xplore