A. Sadler

Global reasoning on sets

A. Sadler, C. Gervet, 2001 .

Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries

Carmen Gervet, Andrew John Sadler, A. Sadler, 2004, CP.

Global Filtering for the Disjointness Constraint on Fixed Cardinality Sets

Carmen Gervet, A. Sadler, C. Gervet, 2004 .

Enhancing set constraint solvers with lexicographic bounds

Carmen Gervet, Andrew John Sadler, A. Sadler, 2008, J. Heuristics.