Cardinal: a finite sets constraint solver
scientific article; zbMATH DE number 5151347