HomeATLAS roadmapLogicPropositional logic and satisfiabilityDPLL algorithmContentsFilter: all statusesStatementsMapContentsLoading the map…Reading DPLL algorithm A deterministic DPLL solver Correctness of the DPLL solver Loading dependency explorer… The dependency explorer needs JavaScript and its graph data. Download the complete graph data.