On subsumption removal and on-the-fly CNF simplification

被引：0
|
作者：
Zhang, LT [1 ]
机构：
[1] Microsoft Res Silicon Valley Lab, Sunnyvale, CA 94043 USA
来源：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS | 2005年 / 3569卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
CNF Boolean formulas generated from resolution or solution enumeration often have much redundancy. Efficient algorithms are needed to simplify and compact such CNF formulas. In this paper, we present a novel algorithm to maintain a subsumption-free CNF clause database by efficiently detecting and removing subsumption as the clauses are being added. We then present an algorithm that compact CNF formula further by applying resolutions to make it Decremental Resolution Free. Our experimental evaluations show that these algorithms are efficient and effective in practice.
引用
收藏
页码：482 / 489
页数：8
相关论文
共 50 条
  • [41] External sorting with on-the-fly compression
    Yiannis, J
    Zobel, J
    NEW HORIZONS IN INFORMATION MANAGEMENT, 2003, 2712 : 115 - 130
  • [42] A new on-the-fly summation algorithm
    Nikmehr, H
    Lim, CC
    ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 258 - 267
  • [43] On-the-fly programmable hardware for networks
    Hadzic, I
    Smith, JM
    Marcus, WS
    GLOBECOM 98: IEEE GLOBECOM 1998 - CONFERENCE RECORD, VOLS 1-6: THE BRIDGE TO GLOBAL INTEGRATION, 1998, : 821 - 826
  • [44] On-the-fly reduction of open loops
    Buccioni, Federico
    Pozzorini, Stefano
    Zoller, Max
    EUROPEAN PHYSICAL JOURNAL C, 2018, 78 (01):
  • [45] ON-THE-FLY ATTESTATION OF RECONFIGURABLE HARDWARE
    Chaves, Ricardo
    Kuzmanov, Georgi
    Sousa, Leonel
    2008 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE AND LOGIC APPLICATIONS, VOLS 1 AND 2, 2008, : 71 - +
  • [46] ON-THE-FLY COMPUTATION OF BISIMILARITY DISTANCES
    Bacci, Giorgio
    Bacci, Giovanni
    Larsen, Kim G.
    Mardare, Radu
    LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (02)
  • [47] On-The-Fly Service Construction with Prototypes
    Mohr, Felix
    Wever, Marcel
    Hullermeier, Eyke
    2018 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (IEEE SCC 2018), 2018, : 225 - 232
  • [48] On-the-fly detection of access anomalies
    Schonberg, E
    ACM SIGPLAN NOTICES, 2004, 39 (04) : 315 - 327
  • [49] On-the-Fly Algorithms and Sequential Machines
    Pippenger, Nicholas
    IEEE TRANSACTIONS ON COMPUTERS, 2011, 60 (09) : 1372 - 1375
  • [50] On-the-Fly Privacy for Location Histograms
    Theodorakopoulos, George
    Panaousis, Emmanouil
    Liang, Kaitai
    Loukas, George
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2022, 19 (01) : 566 - 578
12345