Conjunctive normal form (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Conjunctive normal form" in English language version.

refsWebsite

Global rank English rank

3^rd place

low place

1,871^st place

1,234^th place

274^th place

309^th place

2^nd place

1,672^nd place

1,262^nd place

1^st place

books.google.com

Tseitin 1968. Tseitin, Grigori S. (1968). "On the Complexity of Derivation in Propositional Calculus" (PDF). In Slisenko, A.O. (ed.). Structures in Constructive Mathematics and Mathematical Logic, Part II, Seminars in Mathematics (translated from Russian). Steklov Mathematical Institute. pp. 115–125.

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Jackson & Sheridan 2004. Jackson, Paul; Sheridan, Daniel (10 May 2004). "Clause Form Conversions for Boolean Circuits" (PDF). In Hoos, Holger H.; Mitchell, David G. (eds.). Theory and Applications of Satisfiability Testing. 7th International Conference on Theory and Applications of Satisfiability Testing, SAT. Revised Selected Papers. Lecture Notes in Computer Science. Vol. 3542. Vancouver, BC, Canada: Springer 2005. pp. 183–198. doi:10.1007/11527695_15. ISBN 978-3-540-31580-3.

Russel & Norvig 2010, pp. 345–347, 9.5.1 Conjunctive normal form for first-order logic. Russel, Stuart; Norvig, Peter, eds. (2010) [1995]. Artificial Intelligence : A Modern Approach (PDF) (3rd ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-604259-4. Archived (PDF) from the original on 31 August 2017.

Russel & Norvig 2010, pp. 345–347, 9.5.1 Conjunctive normal form for first-order logic. Russel, Stuart; Norvig, Peter, eds. (2010) [1995]. Artificial Intelligence : A Modern Approach (PDF) (3rd ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-604259-4. Archived (PDF) from the original on 31 August 2017.