Testing satisfiability of a conjunction of inequalities

1997
International Symposium on Computer and Information Systems (ISCIS XII)
148–154