Jon Awbrey (talk | contribs) m ditto, del xs quote marks |
Jon Awbrey (talk | contribs) m moved Davis-Putnam algorithm to Davis–Putnam algorithm: ndash for polynominals |
(No difference)
| |
m ditto, del xs quote marks |
m moved Davis-Putnam algorithm to Davis–Putnam algorithm: ndash for polynominals |
(No difference)
| |