Davis–Putnam algorithm (Q1177898)
Jump to navigation
Jump to search
Check the validity of a logic formula
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Davis–Putnam algorithm |
Check the validity of a logic formula |
Statements
Identifiers
Sitelinks
Wikipedia(10 entries)
- cawiki Algorisme de Davis-Putnam
- dewiki Davis-Putnam-Verfahren
- enwiki Davis–Putnam algorithm
- eswiki Algoritmo de Davis-Putnam
- frwiki Algorithme de Davis-Putnam
- itwiki Algoritmo di Davis-Putnam
- jawiki デービス・パトナムのアルゴリズム
- plwiki Procedura Davisa-Putnama
- ptwiki Algoritmo de Davis-Putnam
- ruwiki Алгоритм Дэвиса — Патнема