TY  - RPRT
TI  - A New Method for Variable Elimination in Systems of Inequations
AU  - Farhad Shirani Chaharsooghi
AU  - Mohammad Javad Emadi
AU  - Mahdi Zamanighomi
AU  - Mohammad Reza Aref
PY  - 2011
UR  - https://arxiv.org/abs/1102.2602
ID  - 1102.2602
ER  -