Quantified Constraint Satisfaction Problem
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:abbreviation |
gptkb:QCSP
|
| gptkbp:application |
planning
verification reasoning under uncertainty |
| gptkbp:complexity |
PSPACE-complete
|
| gptkbp:definedIn |
variables, domains, constraints, quantifiers
|
| gptkbp:field |
gptkb:theoretical_computer_science
gptkb:artificial_intelligence |
| gptkbp:generalizes |
gptkb:Constraint_Satisfaction_Problem
|
| gptkbp:hasQuantifiers |
existential quantifier
universal quantifier |
| gptkbp:relatedTo |
gptkb:Constraint_Satisfaction_Problem
gptkb:Quantified_Boolean_Formula |
| gptkbp:solvedBy |
search algorithms
backtracking algorithms |
| gptkbp:studiedBy |
1990s
|
| gptkbp:bfsParent |
gptkb:PSPACE
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Quantified Constraint Satisfaction Problem
|