2024S年

• SAT求解 / 184.090/VU（电压单位）

• 用于可扩展验证的增量SAT和SMT推理
  2021 – 2024/奥地利科学基金
  出版物： 189828/193053

• 基于SAT的分布式协议可达状态量化对称最小化 /Fazekas，K.、Aman，G.和Sakallah，K.（2023年）。基于SAT的分布式协议可达状态量化对称最小化。在A.Nadel和K.Y.Rozier（编辑）中，第23届计算机辅助设计形式方法会议记录–FMCAD 2023（第152-161页）。TU Wien学术出版社。https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_23
  下载： PDF格式 （499 KB）
• SMT的增量预处理 /Björner，N.和Fazekas，K.（2023年）。SMT的增量预处理。在B.Pientka和C.Tinelli（编辑）中，自动扣除——CADE 29第29届自动扣除国际会议，意大利罗马，2023年7月1日至4日，会议记录（第41-60页）。斯普林格。https://doi.org/10.1007/978-3-031-38499-8_3
  项目： 增量 (2021–2024)
• IPASIR-UP：CDCL的用户传播器 /Fazekas，K.、Niemetz，A.、Preiner，M.、Kirchweger，M.，Szeider，S.和Biere，A.（2023年）。IPASIR-UP：CDCL的用户传播器。在M.Mahajan和F.Slivovsky（编辑）中，第26届可满足性测试理论与应用国际会议（第8:1-8:13页）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）。https://doi.org/10.4230/LIPIcs.SAT.2023.8
  下载： PDF格式 （797 KB）
  项目： 增量 （2021年至2024年）/展示-AI (2020–2024)/苗条的 (2019–2024)
• 使用CBMC检查AUTOSAR部件的模型 /Durand，T.、Fazekas，K.、Weissenbacher，G.和Zwirchmayr，J.（2021年）。使用CBMC.In检查AUTOSAR部件的模型第21届计算机辅助设计形式化方法会议记录–FMCAD 2021（第96-101页）。TU Wien学术出版社。https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_18
  下载： PDF格式 （206 KB）