Skip to content
Vinony
Sections
Maps
Timeline
Graph
Cosmos
Life
Culture
Innovation
People
Climate
Trends
Art
Browse
Search
Search Vinony…
⌘
K
Sign in
Category
SAT solvers
page 1
DPLL algorithm
algorithm for solving the CNF-SAT problem