LINEAR-TIME ALGORITHMS FOR TESTING THE SATISFIABILITY OF PROPOSITIONAL HORN FORMULAE.

被引：523
|
作者：
Dowling, William F.
Gallier, Jean H.
机构：
来源：
Journal of Logic Programming | 1984年 / 1卷 / 03期
关键词：
D O I：
10.1016/0743-1066(84)90014-1
中图分类号：
学科分类号：
摘要：
8
引用
收藏
页码：267 / 284
相关论文
共 50 条
  • [21] Linear-time option pricing algorithms by combinatorics
    Dai, Tian-Shyr
    Liu, Li-Min
    Lyuu, Yuh-Dauh
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 55 (09) : 2142 - 2157
  • [22] Linear-time algorithms for tree root problems
    Chang, Maw-Shang
    Ko, Ming-Tat
    Lu, Hsueh-I
    ALGORITHM THEORY - SWAT 2006, PROCEEDINGS, 2006, 4059 : 411 - 422
  • [23] Linear-Time Filtering Algorithms for the Disjunctive Constraint
    Fahimi, Hamed
    Quimper, Claude-Guy
    PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 2637 - 2643
  • [24] Linear-Time Algorithms for Tree Root Problems
    Maw-Shang Chang
    Ming-Tat Ko
    Hsueh-I Lu
    Algorithmica, 2015, 71 : 471 - 495
  • [25] LINEAR-TIME ALGORITHMS FOR SCHEDULING ON PARALLEL PROCESSORS
    MONMA, CL
    OPERATIONS RESEARCH, 1982, 30 (01) : 116 - 124
  • [26] Linear Kernels and Linear-Time Algorithms for Finding Large Cuts
    Etscheid, Michael
    Mnich, Matthias
    ALGORITHMICA, 2018, 80 (09) : 2574 - 2615
  • [27] Linear Kernels and Linear-Time Algorithms for Finding Large Cuts
    Michael Etscheid
    Matthias Mnich
    Algorithmica, 2018, 80 : 2574 - 2615
  • [28] Linear-Time Algorithms for the Multiple Gene Duplication Problems
    Luo, Cheng-Wei
    Chen, Ming-Chiang
    Chen, Yi-Ching
    Yang, Roger W. L.
    Liu, Hsiao-Fei
    Chao, Kun-Mao
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2011, 8 (01) : 260 - 265
  • [29] LINEAR-TIME ALGORITHMS FOR K-CUTWIDTH PROBLEM
    CHEN, MH
    LEE, SL
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 650 : 21 - 30
  • [30] LINEAR-TIME ALGORITHMS FOR WEAKLY-MONOTONE POLYGONS
    HEFFERNAN, PJ
    COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 1993, 3 (03): : 121 - 137
12345