The top documents tagged [a2 b2c2 d2linear inequalities]