Horn-satisfiability (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Horn-satisfiability" in English language version.

refsWebsite

Global rank English rank

2^nd place

451^st place

277^th place

3^rd place

low place

8,821^st place

ams.org

Dowling, William F.; Gallier, Jean H. (1984), "Linear-time algorithms for testing the satisfiability of propositional Horn formulae", Journal of Logic Programming, 1 (3): 267–284, doi:10.1016/0743-1066(84)90014-1, MR 0770156
Lewis, Harry R. (1978). "Renaming a set of clauses as a Horn set". Journal of the ACM. 25 (1): 134–135. doi:10.1145/322047.322059. MR 0468315..
Aspvall, Bengt (1980). "Recognizing disguised NR(1) instances of the satisfiability problem". Journal of Algorithms. 1 (1): 97–103. doi:10.1016/0196-6774(80)90007-3. MR 0578079.
Hébrard, Jean-Jacques (1994). "A linear algorithm for renaming a set of clauses as a Horn set". Theoretical Computer Science. 124 (2): 343–350. doi:10.1016/0304-3975(94)90015-9. MR 1260003..

Stephen Cook; Phuong Nguyen (2010). Logical foundations of proof complexity. Cambridge University Press. p. 224. ISBN 978-0-521-51729-4. (Author's 2008 draft version, see p.213f)
Reiner Hähnle (2001). "Advanced many-valued logics". In Dov M. Gabbay, Franz Günthner (ed.). Handbook of philosophical logic. Vol. 2 (2nd ed.). Springer. p. 373. ISBN 978-0-7923-7126-7.

Horn, Alfred (March 1951). "On sentences which are true of direct unions of algebras". Journal of Symbolic Logic. 16 (1): 14–21. doi:10.2307/2268661.
Dowling, William F.; Gallier, Jean H. (1984), "Linear-time algorithms for testing the satisfiability of propositional Horn formulae", Journal of Logic Programming, 1 (3): 267–284, doi:10.1016/0743-1066(84)90014-1, MR 0770156
Buning, H.K.; Karpinski, Marek; Flogel, A. (1995). "Resolution for Quantified Boolean Formulas". Information and Computation. 117 (1). Elsevier: 12–18. doi:10.1006/inco.1995.1025.
Lewis, Harry R. (1978). "Renaming a set of clauses as a Horn set". Journal of the ACM. 25 (1): 134–135. doi:10.1145/322047.322059. MR 0468315..
Aspvall, Bengt (1980). "Recognizing disguised NR(1) instances of the satisfiability problem". Journal of Algorithms. 1 (1): 97–103. doi:10.1016/0196-6774(80)90007-3. MR 0578079.
Hébrard, Jean-Jacques (1994). "A linear algorithm for renaming a set of clauses as a Horn set". Theoretical Computer Science. 124 (2): 343–350. doi:10.1016/0304-3975(94)90015-9. MR 1260003..
Chandru, Vijaya; Collette R. Coullard; Peter L. Hammer; Miguel Montañez; Xiaorong Sun (2005). "On renamable Horn and generalized Horn functions". Annals of Mathematics and Artificial Intelligence. 1 (1–4): 33–47. doi:10.1007/BF01531069.

Stephen Cook; Phuong Nguyen (2010). Logical foundations of proof complexity. Cambridge University Press. p. 224. ISBN 978-0-521-51729-4. (Author's 2008 draft version, see p.213f)