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.

PSMT: Satisfiability Modulo Theories Meets Probability Distribution

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang 0001. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 1756-1760, IEEE, 2023. [doi]

Authors

Fuqi Jia

This author has not been identified. Look up 'Fuqi Jia' in Google

Rui Han

This author has not been identified. Look up 'Rui Han' in Google

Xutong Ma

This author has not been identified. Look up 'Xutong Ma' in Google

Baoquan Cui

This author has not been identified. Look up 'Baoquan Cui' in Google

Minghao Liu 0001

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

Pei Huang 0002

This author has not been identified. Look up 'Pei Huang 0002' in Google

Feifei Ma

This author has not been identified. Look up 'Feifei Ma' in Google

Jian Zhang 0001

This author has not been identified. Look up 'Jian Zhang 0001' in Google
runs on