The top documents tagged [linear arithmetic programs]