SAT solver
C59689
concept
A SAT solver is a computational tool that determines whether there exists an assignment of truth values to variables that makes a given Boolean formula evaluate to true.
Instances (1)
| Instance | Via concept surface |
|---|---|
| CDCL SAT solver | — |