Horn-satisfiabilité (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Horn-satisfiabilité" in French language version.

refsWebsite

Global rank French rank

3,051^st place

182^nd place

2^nd place

3^rd place

610^th place

265^th place

doi.org

dx.doi.org

(en) William F. Dowling et Jean H. Gallier, « Linear-time algorithms for testing the satisfiability of propositional horn formulae », The Journal of Logic Programming, vol. 1, n^o 3,‎ octobre 1984, p. 267–284 (DOI 10.1016/0743-1066(84)90014-1, lire en ligne, consulté le 3 septembre 2020)

elsevier.com

linkinghub.elsevier.com

(en) William F. Dowling et Jean H. Gallier, « Linear-time algorithms for testing the satisfiability of propositional horn formulae », The Journal of Logic Programming, vol. 1, n^o 3,‎ octobre 1984, p. 267–284 (DOI 10.1016/0743-1066(84)90014-1, lire en ligne, consulté le 3 septembre 2020)

google.fr

books.google.fr

(en) Stephen Cook et Phuong Nguyen, Logical Foundations of Proof Complexity, Cambridge University Press, 25 janvier 2010 (ISBN 978-1-139-48630-9, lire en ligne)