Buobe
    Reflections on "Incremental Cardinality Constraints for MaxSAT" | Saurabh Joshi | Buobe