×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
首页
期刊简介
编委会
投稿指南
期刊订阅
下载中心
新闻公告
联系我们
English
A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints
XIE Yan-Feng, YUAN Chun-Ming, JING Rui-Juan
A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints
XIE Yan-Feng, YUAN Chun-Ming, JING Rui-Juan
系统科学与复杂性(英文) . 2025, (
6
): 2678 -2700 . DOI: 10.1007/s11424-024-3425-4
