logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
J

Journal of Automated Reasoning

IF0.8
论文数14
被引数
期刊论文 14
发表时间
delete
Verified Tableaux: from Modal Logics to Modal Fixpoint Logics验证表单：从模态逻辑到模态固定点逻辑
deleteJournal of Automated Reasoning
IF0.8
delete2026-05-08
delete0
deleteOAAI
deleteGore, Rajeev; Peigne, Anthony
delete分享
delete收藏
The Rewster: Type Preserving Rewrite Rules for the Rocq ProverRewster：类型保留重写规则用于Rocq证明器
deleteJournal of Automated Reasoning
IF0.8
delete2026-04-11
delete0
PREAI
deleteLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
delete分享
delete收藏
Targeting Completeness: Automated Complexity Analysis of Integer Programs目标完备性：整数规划的自动化复杂性分析
deleteJournal of Automated Reasoning
IF0.8
delete2026-04-04
delete0
PREAI
deleteLommen, Nils; Meyer, Eleanore; Giesl, Jurgen
delete分享
delete收藏
Feature Necessity and Relevancy in Machine Learning Explanations机器学习解释中的特征必要性与相关性
deleteJournal of Automated Reasoning
IF0.8
delete2026-03-17
delete0
PREAI
deleteHuang, Xuanxiang; Cooper, Martin C.; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
delete分享
delete收藏
Unsatisfiability-based Algorithms for Multi-Objective Combinatorial Optimization基于不可满足性的多目标组合优化算法
deleteJournal of Automated Reasoning
IF0.8
delete2026-02-16
delete0
deleteOAAI
deleteCortes, Joao; Lynce, Ines; Manquinho, Vasco
delete分享
delete收藏
A Formal Correctness Proof of Edmonds' Blossom Shrinking AlgorithmEdmonds'开花收缩算法的形式正确性证明
deleteJournal of Automated Reasoning
IF0.8
delete2026-02-16
delete0
deleteOAAI
deleteAbdulaziz, Mohammad; Mehlhorn, Kurt
delete分享
delete收藏
Combining Combination Properties, Part I: Nelson-Oppen and Politeness结合组合性质，第一部分：Nelson-Oppen 和 Politeness
deleteJournal of Automated Reasoning
IF0.8
delete2025-12-23
delete0
deleteOAAI
deleteToledo, Guilherme V.; Zohar, Yoni; Barrett, Clark
delete分享
delete收藏
Candle: A Verified Implementation of HOL Light (Extended Version)Candle: HOL Light的验证实现（扩展版）
deleteJournal of Automated Reasoning
IF0.8
delete2025-12-05
delete0
deleteOAAI
deleteAbrahamsson, Oskar; Myreen, Magnus O.; Kumar, Ramana; Sewell, Thomas
delete分享
delete收藏
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL相对安全性：在Isabelle/HOL中验证对语义优化漏洞的恢复能力
deleteJournal of Automated Reasoning
IF0.8
delete2025-11-18
delete0
deleteOAAI
deleteDerrick, John; Dongol, Brijesh; Edmonds, Chelsea; Griffin, Matt; Popescu, Andrei; Wright, Jamie
delete分享
delete收藏
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs运行时间与提取的证明大小：CDCL在QBFs上的指数级差距
deleteJournal of Automated Reasoning
IF0.8
delete2025-11-12
delete0
PREAI
deleteBeyersdorff, Olaf; Bohm, Benjamin; Mahajan, Meena
delete分享
delete收藏
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols函数符号下相干逻辑的定理证明作为约束求解
deleteJournal of Automated Reasoning
IF0.8
delete2025-10-16
delete0
PREAI
deleteJanicic, Predrag
delete分享
delete收藏
Formalization of Convergence Rates of Four First-order Algorithms for Convex Optimization凸优化中四种一阶算法收敛率的严格表述
deleteJournal of Automated Reasoning
IF0.8
delete2025-10-15
delete0
PREAI
deleteLi, Chenyi; Wang, Ziyu; He, Wanyi; Wu, Yuxuan; Xu, Shengyang; Wen, Zaiwen
delete分享
delete收藏
A simple proof of correctness of folding the regular heptagon正七边形折叠的正确性简单证明
deleteJournal of Automated Reasoning
IF0.8
delete2025-10-13
delete0
PREAI
deleteKovacs, Zoltan
delete分享
delete收藏
First-order Hybrid Separation Logic一阶混合分离逻辑
deleteJOURNAL OF AUTOMATED REASONING
IF0
delete2025-09-29
delete0
deleteOAAI
deletede Boer, Frank S.; Hiep, Hans-Dieter A.
delete分享
delete收藏