Cite This Page
Bibliographic details for Davis–Putnam algorithm
- Page name: Davis–Putnam algorithm
- Author: formulasearchengine contributors
- Publisher: formulasearchengine, .
- Date of last revision: 7 May 2014 15:33 UTC
- Date retrieved: 11 May 2024 02:41 UTC
- Permanent URL: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297
- Page Version ID: 243297
Citation styles for Davis–Putnam algorithm
APA style
Davis–Putnam algorithm. (2014, May 7). formulasearchengine, . Retrieved 02:41, May 11, 2024 from https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297.
MLA style
"Davis–Putnam algorithm." formulasearchengine, . 7 May 2014, 15:33 UTC. 11 May 2024, 02:41 <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297>.
MHRA style
formulasearchengine contributors, 'Davis–Putnam algorithm', formulasearchengine, , 7 May 2014, 15:33 UTC, <https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297> [accessed 11 May 2024]
Chicago style
formulasearchengine contributors, "Davis–Putnam algorithm," formulasearchengine, , https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297 (accessed May 11, 2024).
CBE/CSE style
formulasearchengine contributors. Davis–Putnam algorithm [Internet]. formulasearchengine, ; 2014 May 7, 15:33 UTC [cited 2024 May 11]. Available from: https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297.
Bluebook style
Davis–Putnam algorithm, https://en.formulasearchengine.com/index.php?title=Davis%E2%80%93Putnam_algorithm&oldid=243297 (last visited May 11, 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=243297", note = "[Online; accessed 11-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=243297}", note = "[Online; accessed 11-May-2024]" }