ByNobleID
    Satisfiability in semiring constraint satisfaction problems | NobleID