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.

Resolution and Domination: An Improved Exact MaxSAT Algorithm

Chao Xu 0010, Wenjun Li, Yongjie Yang, Jianer Chen, Jianxin Wang. Resolution and Domination: An Improved Exact MaxSAT Algorithm. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 1191-1197, ijcai.org, 2019. [doi]

Authors

Chao Xu 0010

This author has not been identified. Look up 'Chao Xu 0010' in Google

Wenjun Li

This author has not been identified. Look up 'Wenjun Li' in Google

Yongjie Yang

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

Jianer Chen

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

Jianxin Wang

This author has not been identified. Look up 'Jianxin Wang' in Google
runs on