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: |