logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
J

Journal of Automated Reasoning

IF0.8
Papers14
Citations
Journal Papers 14
Publication Date
delete
Verified Tableaux: from Modal Logics to Modal Fixpoint Logics
deleteJournal of Automated Reasoning
IF0.8
delete2026-05-08
delete0
PREAI
deleteGore, Rajeev; Peigne, Anthony
deleteShare
deleteSave
The Rewster: Type Preserving Rewrite Rules for the Rocq Prover
deleteJournal of Automated Reasoning
IF0.8
delete2026-04-11
delete0
PREAI
deleteLeray, Yann; Gilbert, Gaetan; Tabareau, Nicolas; Winterhalter, Theo
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm
deleteJournal of Automated Reasoning
IF0.8
delete2026-02-16
delete0
deleteOAAI
deleteAbdulaziz, Mohammad; Mehlhorn, Kurt
deleteShare
deleteSave
Combining Combination Properties, Part I: Nelson-Oppen and Politeness
deleteJournal of Automated Reasoning
IF0.8
delete2025-12-23
delete0
deleteOAAI
deleteToledo, Guilherme V.; Zohar, Yoni; Barrett, Clark
deleteShare
deleteSave
Candle: A Verified Implementation of HOL Light (Extended Version)
deleteJournal of Automated Reasoning
IF0.8
delete2025-12-05
delete0
deleteOAAI
deleteAbrahamsson, Oskar; Myreen, Magnus O.; Kumar, Ramana; Sewell, Thomas
deleteShare
deleteSave
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in 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
deleteShare
deleteSave
Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs
deleteJournal of Automated Reasoning
IF0.8
delete2025-11-12
delete0
PREAI
deleteBeyersdorff, Olaf; Bohm, Benjamin; Mahajan, Meena
deleteShare
deleteSave
Theorem Proving as Constraint Solving for Coherent Logic with Function Symbols
deleteJournal of Automated Reasoning
IF0.8
delete2025-10-16
delete0
PREAI
deleteJanicic, Predrag
deleteShare
deleteSave
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
deleteShare
deleteSave
A simple proof of correctness of folding the regular heptagon
deleteJournal of Automated Reasoning
IF0.8
delete2025-10-13
delete0
PREAI
deleteKovacs, Zoltan
deleteShare
deleteSave
First-order Hybrid Separation Logic
deleteJOURNAL OF AUTOMATED REASONING
IF0
delete2025-09-29
delete0
deleteOAAI
deletede Boer, Frank S.; Hiep, Hans-Dieter A.
deleteShare
deleteSave