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.

SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses

Shuhao Chen, Menghua Jiang, Yin Chen. SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses. In Philipp Rümmer, Zhilin Wu, editors, Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings. Volume 15841 of Lecture Notes in Computer Science, pages 161-176, Springer, 2025. [doi]

Authors

Shuhao Chen

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

Menghua Jiang

This author has not been identified. Look up 'Menghua Jiang' in Google

Yin Chen

This author has not been identified. Look up 'Yin Chen' in Google
runs on