External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Fully reusing clause deduction algorithm based on standard contradiction separation rule

Peiyao Liu, Yang Xu 0001, Jun Liu 0001, Shuwei Chen, Feng Cao, Guanfeng Wu. Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci., 622:337-356, April 2023. [doi]

Authors

Peiyao Liu

This author has not been identified. Look up 'Peiyao Liu' in Google

Yang Xu 0001

This author has not been identified. Look up 'Yang Xu 0001' in Google

Jun Liu 0001

This author has not been identified. Look up 'Jun Liu 0001' in Google

Shuwei Chen

This author has not been identified. Look up 'Shuwei Chen' in Google

Feng Cao

This author has not been identified. Look up 'Feng Cao' in Google

Guanfeng Wu

This author has not been identified. Look up 'Guanfeng Wu' in Google
runs on