Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:algorithm
|
| gptkbp:abbreviation |
gptkb:AC-3
|
| gptkbp:author |
gptkb:Alan_Mackworth
|
| gptkbp:category |
constraint propagation algorithm
|
| gptkbp:complexity |
O(e*d^3)
|
| gptkbp:field |
gptkb:artificial_intelligence
Boolean satisfiability problem |
| https://www.w3.org/2000/01/rdf-schema#label |
Arc Consistency Algorithm 3
|
| gptkbp:input |
binary constraint network
|
| gptkbp:introducedIn |
1992
|
| gptkbp:output |
arc consistent network
|
| gptkbp:relatedTo |
gptkb:AC-4
gptkb:AC-1 gptkb:AC-2001 |
| gptkbp:step |
removes inconsistent values from variable domains
|
| gptkbp:usedFor |
enforcing arc consistency
|
| gptkbp:usedIn |
CSP solvers
|
| gptkbp:bfsParent |
gptkb:AC-3
|
| gptkbp:bfsLayer |
6
|