Cite This Page
Bibliographic details for Davis–Putnam algorithm
- Page name: Davis–Putnam algorithm
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 6 May 2012 19:10 UTC
- Date retrieved: 10 May 2024 18:12 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296
- Page Version ID: 243296
Citation styles for Davis–Putnam algorithm
APA style
Davis–Putnam algorithm. (2012, May 6). formulasearchengine, . Retrieved 18:12, May 10, 2024 from https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296.
MLA style
"Davis–Putnam algorithm." formulasearchengine, . 6 May 2012, 19:10 UTC. 10 May 2024, 18:12 <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296>.
MHRA style
formulasearchengine contributors, 'Davis–Putnam algorithm', formulasearchengine, , 6 May 2012, 19:10 UTC, <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296> [accessed 10 May 2024]
Chicago style
formulasearchengine contributors, "Davis–Putnam algorithm," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296 (accessed May 10, 2024).
CBE/CSE style
formulasearchengine contributors. Davis–Putnam algorithm [Internet]. formulasearchengine, ; 2012 May 6, 19:10 UTC [cited 2024 May 10]. Available from: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296.
Bluebook style
Davis–Putnam algorithm, https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296 (last visited May 10, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Davis–Putnam algorithm --- formulasearchengine{,} ", year = "2012", url = "https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296", note = "[Online; accessed 10-May-2024]" }
When using the LaTeX package url (\usepackage{url}
somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred:
@misc{ wiki:xxx, author = "formulasearchengine", title = "Davis–Putnam algorithm --- formulasearchengine{,} ", year = "2012", url = "\url{https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243296}", note = "[Online; accessed 10-May-2024]" }