Automated Deduction - Cade 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
暫譯: 自動推理 - Cade 30：第30屆自動推理國際會議，德國斯圖加特，2025年7月28日至31日，會議論文集
Barrett, Clark, Waldmann, Uwe
商品描述
This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.
CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
The 33 full papers and 4 short papers included in these proceedings were carefully reviewed and selected from 87 submissions. They were organized in topical sections on SMT; rewriting; formalizations in Isabelle/HOL; calculi; machine learning for automated deduction; model checking and quantifier elimination; saturation; equational reasoning; non-classical logics; and SAT.
商品描述(中文翻譯)
這本開放存取的書籍是第30屆國際自動推理會議（CADE 30）的會議紀錄，該會議於2025年7月在德國斯圖加特舉行。
CADE是自動推理各方面研究發表的主要論壇，包括基礎、應用、實作和實務經驗。
這些會議紀錄中包含的33篇完整論文和4篇短文是從87篇投稿中經過仔細審查和選擇而來。它們被組織在主題部分，包括SMT、重寫、Isabelle/HOL中的形式化、計算、用於自動推理的機器學習、模型檢查和量詞消除、飽和、方程推理、非經典邏輯和SAT。
