Quantified Constraint Satisfaction Problem
GPTKB entity
Statements (20)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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:artificial_intelligence
theoretical computer science |
gptkbp:generalizes |
Constraint Satisfaction Problem
|
gptkbp:hasQuantifiers |
existential quantifier
universal quantifier |
https://www.w3.org/2000/01/rdf-schema#label |
Quantified Constraint Satisfaction Problem
|
gptkbp:relatedTo |
gptkb:Quantified_Boolean_Formula
Constraint Satisfaction Problem |
gptkbp:solvedBy |
search algorithms
backtracking algorithms |
gptkbp:studiedBy |
1990s
|
gptkbp:bfsParent |
gptkb:PSPACE
|
gptkbp:bfsLayer |
5
|