Cite This Page
Bibliographic details for Davis–Putnam algorithm
- Page name: Davis–Putnam algorithm
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 27 January 2014 10:21 UTC
- Date retrieved: 10 May 2024 02:31 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027
- Page Version ID: 11027
Citation styles for Davis–Putnam algorithm
APA style
Davis–Putnam algorithm. (2014, January 27). formulasearchengine, . Retrieved 02:31, May 10, 2024 from https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027.
MLA style
"Davis–Putnam algorithm." formulasearchengine, . 27 Jan 2014, 10:21 UTC. 10 May 2024, 02:31 <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027>.
MHRA style
formulasearchengine contributors, 'Davis–Putnam algorithm', formulasearchengine, , 27 January 2014, 10:21 UTC, <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027> [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=11027 (accessed May 10, 2024).
CBE/CSE style
formulasearchengine contributors. Davis–Putnam algorithm [Internet]. formulasearchengine, ; 2014 Jan 27, 10:21 UTC [cited 2024 May 10]. Available from: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027.
Bluebook style
Davis–Putnam algorithm, https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027 (last visited May 10, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "formulasearchengine", title = "Davis–Putnam algorithm --- formulasearchengine{,} ", year = "2014", url = "https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027", 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 = "2014", url = "\url{https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027}", note = "[Online; accessed 10-May-2024]" }