×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
Home
About Journal
Editorial Board
This Editorial Board
Youth Editorial Board
Instruction
Subscription
Download
News
Contact Us
中文
A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints
XIE Yan-Feng, YUAN Chun-Ming, JING Rui-Juan
Journal of Systems Science & Complexity . 2025, (
6
): 2678 -2700 . DOI: 10.1007/s11424-024-3425-4
