Jump to content

Talk:Davis–Putnam algorithm

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Stephan Schulz (talk | contribs) at 20:49, 19 October 2006 (moved Talk:Davis–Putnam algorithm to Talk:Davis-Putnam algorithm: Moved back to typable and expected name. See talk.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Move?

User:Jon Awbrey (now permanently blocked) moved this article from Davis-Putnam algorithm to Davis-Putnam algorithm (if that's to subtle to see, he replaced the simple hyphen with a slightly longer en dash. While some manuals of style recommend this, I don't think it is appropriate here - Wikipedia rule is to use the most well-known name, and most people do not even know about different dashes, let alone how to type them on a normal keyboard (the last includes me...). So I suggest to move it back. Any coments? --Stephan Schulz 06:48, 7 September 2006 (UTC)[reply]

The long dash convention was a math project one. In my opinion, it was a bad choice; anyway, this article is about computer science, so I do not see how that convention affects this article (Liberatore, 2006). 11:09, 15 September 2006 (UTC)[reply]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Davis–Putnam_algorithm&oldid=82493223"