记录链接：
http://hdl.handle.net/20.50012708/188821
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_22
-
职务：
SAT解算器的验证编码
英语
引文：
Codel，C.、Avigad，J.和Heule，M.（2023）。SAT解算器的验证编码。在A.Nadel和K.Y.Rozier（编辑）中，第23届计算机辅助设计形式方法会议记录–FMCAD 2023（第141-151页）。TU Wien学术出版社。https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_22
-
存放DOI：
10.34727/2023/isbn.978-3-85448-060-0_22
-
出版物类型：
诉讼中-全纸稿件
英语
语言：
英语
-
作者：
凯登·Codel 
杰里米·阿维加德 
Marijn脚后跟 
-
编辑：
亚历山大·纳德尔
克里斯汀·伊冯·罗泽尔
-
组织单位：
E192-04：系统工程中的Forschungsbereich形式化方法
-
系列：
会议系列：计算机辅助设计中的形式方法
-
发布时间：
第23届计算机辅助设计形式方法会议记录–FMCAD 2023
-
发布日期：
2023年10月
-
页数：
11
-
发布者：
TU Wien学术出版社，Wien
-
同行评审：
是的
-
关键词：
formale方法
判定元件
 
形式化方法
英语
reposiTUm中的链接记录：包含部分：
10.34727/2023/isbn.978-3-85448-060-0
-
研究领域：
逻辑和计算：40%
计算机工程和软件集成系统：40%
计算机科学基础：20%
-
科学分部：
1020-信息：100%
-
许可证：
抄送4.0抄送4.0
英语
出现在集合中：
开放存取系列
会议文献

缩略图
全文（记录版本（已发布版本））
Adobe PDF格式
（383.57千字节）
开放式访问 抄送4.0
显示完整项目记录

页面视图

349
2023年11月23日检查

下载

131
2023年11月23日检查

谷歌学者TM（TM）

检查