Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Davis–Putnam algorithm · Vinony

Davis–Putnam algorithm

EntityQ1177898· pop 11· linked from 14 articles

Davis–Putnam algorithm

Sign in to save

algorithm for check the validity of a logic formula

Wikidata facts

Instance of: algorithm
Named after: Hilary Putnam

Show 1 more fact

P2159: boolean satisfiability problem

via Wikidata · CC0

Connections

Categories

Automated theorem proving Boolean algebra Constraint programming

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

computer science

Entity

International Standard Book Number

digital object identifier

propositional calculus

first-order logic

logical equivalence

prenex normal form

recursively enumerable set

Communications of the ACM

Journal of the ACM

What links here14 pages

2-satisfiability

Toniann Pitassi

Las Vegas algorithm

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

boolean satisfiability problem

Entitydist 0.41

satisfiability modulo theories

Entitydist 0.43

computation tree logic

Entitydist 0.51

Entitydist 0.51

propositional formula

Entitydist 0.51

logical formula

Entitydist 0.52

linear temporal logic

Entitydist 0.52

combinatory logic

Entitydist 0.52

Entitydist 0.53

Entitydist 0.53

Arthur–Merlin protocol

Entitydist 0.53

lambda calculus

Entitydist 0.53