An algorithm computes the minimum-width positive first-order sentence reachable from a given sentence by a fixed set of equivalence-preserving rewriting rules.
Chandra and Philip M
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
An algorithm computes the minimum-width positive first-order sentence reachable from a given sentence by a fixed set of equivalence-preserving rewriting rules.