ByNobleID
    Variable and value elimination in binary constraint satisfaction via forbidden patterns | NobleID