Maximising the Number of Participants in a Ride-Sharing Scheme: MIP Versus CP Formulations | IEEE Conference Publication | IEEE Xplore