ISCAS OpenIR  > 基础软件与系统重点实验室
SAT 和 SMT 问题的混合求解算法及应用
张昕荻
Major计算机科学与技术
Supervisor蔡少伟
2024-07
Degree Grantor中国科学院研究生院
Degree Level博士
Place of Degree Grantor北京
Content Type学位论文
URIhttp://ir.iscas.ac.cn/handle/311060/19772
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
张昕荻. SAT 和 SMT 问题的混合求解算法及应用[D]. 北京. 中国科学院研究生院,2024.
Files in This Item:
File Name/Size DocType Version Access License
张昕荻-博士毕设-0524(签字).pd(10493KB)学位论文 开放获取CC BY-NC-SAApplication Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[张昕荻]'s Articles
Baidu academic
Similar articles in Baidu academic
[张昕荻]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[张昕荻]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.