Fast Subsumption Checks Using Anti-Links

被引：0
|
作者：
Anavai Ramesh
Bernhard Beckert
Reiner Hähnle
Neil V. Murray
机构：
[1] Intel Corporation,Institute for Logic, Complexity and Deduction Systems
[2] MS CH6-418,Institute for Programming amp; Logics, Department of Computer Science
[3] University of Karlsruhe,undefined
[4] University at Albany,undefined
来源：
Journal of Automated Reasoning | 1997年 / 18卷
关键词：
subsumption; anti-links;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The concept of anti-link is defined (an anti-link consists of two occurrences of the same literal in a formula), and useful equivalence-preserving operations based on anti-links are introduced. These operations eliminate a potentially large number of subsumed paths in a negation normal form formula. Those anti-links that directly indicate the presence of subsumed paths are characterized. The operations have linear time complexity in the size of that part of the formula containing the anti-link.
引用
收藏
页码：47 / 83
页数：36
相关论文
共 50 条
  • [1] Fast subsumption checks using anti-links
    Intel Corp, Chandler, United States
    J Autom Reasoning, 1 (47-83):
  • [2] Fast subsumption checks using anti-links
    Ramesh, A
    Beckert, B
    Hahnle, R
    Murray, NV
    JOURNAL OF AUTOMATED REASONING, 1997, 18 (01) : 47 - 83
  • [3] Simplification of many-valued logic formulas using anti-links
    Beckert, B
    Hahnle, R
    Escalada-Imaz, G
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 569 - 587
  • [4] ON THE POWER OF SUBSUMPTION AND CONTEXT CHECKS
    BOL, RN
    APT, KR
    KLOP, JW
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 131 - 140
  • [5] Statistically Valid Links and Anti-links Between Words and Between Documents: Applying TourneBool Randomization Test to a Reuters Collection
    Lelu, Alain
    Cadot, Martine
    ADVANCES IN KNOWLEDGE DISCOVERY AND MANAGEMENT, 2010, 292 : 307 - +
  • [6] FAST SUBSUMPTION ALGORITHMS
    GOTTLOB, G
    LEITSCH, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 64 - 77
  • [7] Fast Subsumption Between Rooted Labeled Trees
    Carloni, Olivier
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM 2017): 10TH INTERNATIONAL CONFERENCE, KSEM 2017, MELBOURNE, VIC, AUSTRALIA, AUGUST 19-20, 2017, PROCEEDINGS, 2017, 10412 : 552 - 559
  • [8] RP checks out fast
    Eng. Cast. Solutions, 2006, 6 (21-23):
  • [9] FAST DIMENSIONAL CHECKS - WITH STATISTICS
    SPOTTS, MF
    MACHINE DESIGN, 1978, 50 (23) : 170 - 173
  • [10] ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
    Blanchet, Bruno
    Cheval, Vincent
    Cortier, Veronique
    43RD IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2022), 2022, : 69 - 86
12345