A.: Filtering atmost1 on pairs of set variables (0)

by W J van Hoeve, Sabharwal
Venue:In CPAIOR-2005