AC-3

GPTKB entity

Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:algorithm
gptkbp:application resource allocation
scheduling
puzzle solving
gptkbp:author gptkb:Alan_K._Mackworth
gptkbp:complexity O(e d^3)
gptkbp:field gptkb:artificial_intelligence
constraint satisfaction problems
gptkbp:fullName gptkb:Arc_Consistency_Algorithm_3
https://www.w3.org/2000/01/rdf-schema#label AC-3
gptkbp:input binary constraint network
gptkbp:introducedIn 1977
gptkbp:output arc consistent network
gptkbp:relatedTo gptkb:AC-4
gptkb:CSP
gptkb:AC-1
gptkb:AC-2001
gptkbp:step if domain revised, add related arcs to queue
initialize queue with all arcs
remove arc from queue
repeat until queue is empty
revise domain of variable
gptkbp:usedFor enforcing arc consistency
gptkbp:bfsParent gptkb:Dolby_Digital_5.1
gptkb:Dolby_Digital
gptkbp:bfsLayer 5