ByNobleID
    The (parallel) approximability of non-boolean satisfiability problems and restricted integer programming | NobleID