Title: Implicit enumeration using an imbedded linear program
Subjects: Linear programming