Extended Horn sets in propositional logic.
| Autor: | Chandru, V., Hooker, J. N. |
|---|---|
| Zdroj: | Journal of the ACM; Jan1991, Vol. 38 Issue 1, p205-221, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Chandru, V., Hooker, J. N. |
|---|---|
| Zdroj: | Journal of the ACM; Jan1991, Vol. 38 Issue 1, p205-221, 17p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|