The top documents tagged [effective valid inequalities]