All Stories

  1. Resizing cardinality constraints for MaxSAT
  2. A column generation approach and new bounds for the car sequencing problem