OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Davis–Putnam algorithm

 Home Mathematics Fields of mathematics Arithmetic Binary arithmetic Boolean algebra
 0 By others on same topic  0 Discussions  1970-01-01  See my version
The Davis–Putnam algorithm is a method used for solving problems in propositional logic, particularly the satisfiability problem (SAT). Proposed by Martin Davis and Hilary Putnam in their 1960 paper, the algorithm is designed to determine whether a given propositional formula can be satisfied by some assignment of truth values to its variables.

 Ancestors (6)

  1. Boolean algebra
  2. Binary arithmetic
  3. Arithmetic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook