Davis-Putnam-Logeman-Loveland algorithm
Redirect page
Redirect to:
- From a longer title: This is a redirect from a title that is a complete, more complete or longer version of the topic's name. It leads to the title in accordance with the naming conventions for common names and can help writing and searches. However, do not replace these redirected links with a piped link unless the page is updated for another reason.