Céline Hébert, Alain Bretto, Bruno Crémilleux: Optimizing hypergraph transversal computation with an anti-monotone constraint. SAC 2007: 443-444