SAT solver

E2192476 UNEXPLORED

A SAT solver is a computational tool that determines whether a given Boolean formula can be satisfied by some assignment of truth values to its variables.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
SAT solver canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

DPLL(T) → uses → SAT solver ⓘ