constraint satisfaction problem (CSP)
GPTKB entity
Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:application |
resource allocation
scheduling puzzle solving |
| gptkbp:complexity |
NP-complete
|
| gptkbp:example |
gptkb:Sudoku
gptkb:n-queens_problem map coloring |
| gptkbp:field |
gptkb:artificial_intelligence
computer science operations research |
| gptkbp:formedBy |
constraint network
|
| gptkbp:hasComponent |
variables
domains constraints |
| https://www.w3.org/2000/01/rdf-schema#label |
constraint satisfaction problem (CSP)
|
| gptkbp:relatedTo |
mathematical optimization
Boolean satisfiability problem |
| gptkbp:solvedBy |
backtracking
local search constraint propagation |
| gptkbp:studiedIn |
constraint programming
|
| gptkbp:subspecies |
dynamic CSP
binary CSP non-binary CSP |
| gptkbp:bfsParent |
gptkb:Satisfiability_(SAT)
|
| gptkbp:bfsLayer |
7
|