ok |
m moved Talk:Davis–Putnam algorithm to Talk:Davis-Putnam algorithm: Moved back to typable and expected name. See talk. |
(No difference)
|
ok |
m moved Talk:Davis–Putnam algorithm to Talk:Davis-Putnam algorithm: Moved back to typable and expected name. See talk. |
(No difference)
|