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 Treinen (talk | contribs) at 19:55, 15 October 2007 (Move?). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
WikiProject iconMathematics Stub‑class Low‑priority
WikiProject iconThis article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
StubThis article has been rated as Stub-class on Wikipedia's content assessment scale.
LowThis article has been rated as Low-priority on the project's priority scale.

Move?

User:Jon Awbrey (now permanently blocked) moved this article from Davis-Putnam algorithm to Davis-Putnam algorithm (if that's too 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 User:Tizio. 11:09, 15 September 2006 (UTC)[reply]