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: 28 September 2024 14:58 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 14:58, September 28, 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. 28 Sep 2024, 14:58 <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 28 September 2024]
Chicago style
formulasearchengine contributors, "Davis–Putnam algorithm," formulasearchengine, https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=11027 (accessed September 28, 2024).
CBE/CSE style
formulasearchengine contributors. Davis–Putnam algorithm [Internet]. formulasearchengine; 2014 Jan 27, 10:21 UTC [cited 2024 Sep 28]. 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 September 28, 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 28-September-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 28-September-2024]" }