Removing redundancy from a clause
type: Item
instance of: scholarly article
title: Removing redundancy from a clause
zbMATH Open document ID: 0779.68015
DOI: 10.1016/0004-3702(93)90069-N
author: Christian G. Fermüller
author: Georg Gottlob
published in: Artificial Intelligence
publication date: 1993-10-31T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 417266
zbMATH Keywords: redundant literals
zbMATH Keywords: condensing
zbMATH Keywords: redundancy elimination
zbMATH Keywords: co-\(NP\)-complete
Wikidata QID: Q59259767
describes a project that uses: Datalog
MaRDI profile type: Publication
cites work: Q5679729
cites work: Q3919057
cites work: Q4199578
cites work: Q4198056
cites work: Subsumption and implication
cites work: Q3716319
cites work: On the efficiency of subsumption algorithms
cites work: New developments in structural complexity theory
cites work: Q4385525
cites work: Resolution Strategies as Decision Procedures
cites work: The Polynomial Time Hierarchy Collapses If the Boolean Hierarchy Collapses
cites work: Q3785940
cites work: The complexity of optimization problems
cites work: Q4729408
cites work: Q3339245
cites work: Q4139711
cites work: The complexity of facets resolved
cites work: The complexity of facets (and some facets of complexity)
cites work: Implication of clauses is undecidable
cites work: The Concept of Weak Substitution in Theorem-Proving
cites work: Bounded Query Classes
Recommended article: Eliminating Redundant Clauses in SAT Instances
Recommended article: Minimizing the number of clauses by renaming
Recommended article: Elimination of self-resolving clauses
Recommended article: Preprocessing of propagation redundant clauses
Recommended article: Removing Redundant Arguments of Functions*
Recommended article: An Operator for Removal of Subsumed Clauses
Recommended article: Q3491011
Recommended article: Blocked Clause Elimination
description: scientific article; zbMATH DE number 417266