ByNobleID
    A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances | NobleID