Dpll

Dpll Algorithm

Boolean Satisfiability Problem

Branching Literal

Pure Literal

Algorithm

Algorithms

Conflict

Driven

Instances

Loveland

Pure

Sat

True

Unit