DOI码：10.13722/j.cnki.jrme.2021.0167
所属单位：中国矿业大学深地工程智能建造与健康运维全国重点实验室
项目来源：自选课题
第一作者：司凤娟
合写作者：张明伟,袁国涛,韩晓敏,宋伟杰,李建平
论文类型：期刊论文
卷号：:3434-3442,9
ISSN号：1000-6915
是否译文：否
发表时间：2021-11-15
An Approach for Detecting Infeasible Paths Based on a SMT Solver
发布时间：2023-10-13| 点击次数：