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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Multi-clause synergized contradiction separation based first-order theorem prover-MC-SCS'. Together they form a unique fingerprint.

Computer Science