The following pages link to Removing redundancy from a clause (Q685346):
Displaying 15 items.
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- On redundant topological constraints (Q891795) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Recognition and dualization of disguised bidual Horn functions. (Q1853017) (← links)
- Logical reduction of metarules (Q2203321) (← links)
- Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Removing Redundant Arguments of Functions* (Q2996146) (← links)
- On Generalization and Subsumption for Ordered Clauses (Q3617035) (← links)
- Semantic trees revisited: Some new completeness results (Q4647548) (← links)
- Revision by communication (Q5101450) (← links)
- Text redundancies (Q5365561) (← links)
- Minimizing the number of clauses by renaming (Q6488560) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
