AC-3-Algorithmus
Der AC-3-Algorithmus (von englisch arc consistency algorithm, dt.: Kantenkonsistenz-Algorithmus) ist ein Algorithmus zur Lösung von Constraint-Erfüllungsproblemen (CSPs) mit binären Bedingungen. Er wurde 1977 von Alan Mackworth entwickelt.
- ↑ Alan K. Mackworth: Consistency in Networks of Relations. In: Artificial Intelligence. Bd. 8, Nr. 1, Februar 1977, ISSN 0004-3702, S. 99–118, doi:10.1016/0004-3702(77)90007-8.