Boolean satisfiability problem
GPTKB entity
Statements (4)
| Predicate | Object |
|---|---|
| gptkbp:alternativeName |
SAT_solver
constraint_satisfaction_problem satisfiability_problem |
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean satisfiability problem
|