one of a series of algorithms used for the solution of constraint satisfaction problems
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 entwickelt.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).