The V- and W-operators in inverse resolutions
January 1991
Research Paper
| Related Files |
|---|
View PDF Version
(eur-few-cs-91-04.pdf, 0.1MB) |
This article gives algorithms for V- and W-operators in inverse resolution. It discusses also the completeness of these algorithms.
Keywords
Automatically Extracted Terms
- clausal forms
- generalization
- clause
- clausal
- partition
- term partitions
- order relation
- clausal form
- literal
- relation
- order
- supremum
- level
- substitution
- problem
- subset
- resolution
- occurrence
- example
- coding
