Journal of automated reasoning文章索引

期刊目录筛选

期刊名：Journal of automated reasoning

缩写：J AUTOM REASONING

ISSN：0168-7433

e-ISSN：1573-0670

IF/分区：0.7/Q4

文章目录更多期刊信息

共收录本刊相关文章索引961条

Verifying the SET Purchase Protocols [0.03%] 验证SET购买协议

Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson Giampaolo Bella; Fabio Massacci; Lawrence C. Paulson

Journal of automated reasoning. 2006;36(1-2):5-37. DOI:10.1007/s10817-005-9018-6 2006

Formal Analysis of Multiparty Contract Signing [0.03%] 多方合同签署的形式化分析

Rohit Chadha; Steve Kremer; Andre Scedrov Rohit Chadha; Steve Kremer; Andre Scedrov

Journal of automated reasoning. 2006;36(1-2):39-83. DOI:10.1007/s10817-005-9019-5 2006

Mechanically Proving Termination Using Polynomial Interpretations [0.03%] 利用多项式解释法机械地证明终止性

Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain Evelyne Contejean; Claude Marché; Ana Paula Tomás; Xavier Urbain

Journal of automated reasoning. 2005;34(4):325-363. DOI:10.1007/s10817-005-9022-x 2005

Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005) [0.03%] 首次可满足性模理论竞赛（SMT-COMP 2005）的设计与结果

Clark Barrett; Leonardo de Moura; Aaron Stump Clark Barrett; Leonardo de Moura; Aaron Stump

Journal of automated reasoning. 2005;35(4):373-390. DOI:10.1007/s10817-006-9026-1 2005

Toward Automating the Discovery of Decreasing Measures [0.03%] 迈向减少措施发现的自动化

Robert S. Boyer; Wilfred J. Legato; Victor W. Marek Robert S. Boyer; Wilfred J. Legato; Victor W. Marek

Journal of automated reasoning. 2005;35(4):355-371. DOI:10.1007/s10817-005-9020-z 2005

An Efficient Approach to Solving Randomk-satProblems [0.03%] 求解随机k-SAT问题的一种高效方法

Gilles Dequen; Olivier Dubois Gilles Dequen; Olivier Dubois

Journal of automated reasoning. 2006;37(4):261-276. DOI:10.1007/s10817-006-9025-2 2006

Termination Proofs for String Rewriting Systems via Inverse Match-Bounds [0.03%] 通过逆匹配界证明字符串重写系统的终止性

Alfons Geser; Dieter Hofbauer; Johannes Waldmann Alfons Geser; Dieter Hofbauer; Johannes Waldmann

Journal of automated reasoning. 2005;34(4):365-385. DOI:10.1007/s10817-005-9024-8 2005

Simplifying Proofs in Fitch-Style Natural Deduction Systems [0.03%] 弗里奇式自然演绎系统中证明的简化方法

Konstantine Arkoudas Konstantine Arkoudas

Journal of automated reasoning. 2005;34(3):239-294. DOI:10.1007/s10817-005-9000-3 2005

Heuristic-Based Backtracking Relaxation for Propositional Satisfiability [0.03%] 基于启发式的回溯松弛法求解命题可满足性问题

Ateet Bhalla; Inês Lynce; José T. de Sousa; João Marques-Silva Ateet Bhalla; Inês Lynce; José T. de Sousa; João Marques-Silva

Journal of automated reasoning. 2005;35(1-3):3-24. DOI:10.1007/s10817-005-9005-y 2005

Balancing the Load [0.03%] 平衡负载

Eyad Alkassar; Mark A. Hillebrand; Dirk C. Leinenbach; Norbert W. Schirmer; Artem Starostin; Alexandra Tsyban Eyad Alkassar; Mark A. Hillebrand; Dirk C. Leinenbach; Norbert W. Schirmer; Artem Starostin; Alexandra Tsyban

Journal of automated reasoning. 2009;42(2-4):389-454. DOI:10.1007/s10817-009-9123-z 2009