A new method for variable elimination in systems of inequations.

Farhad Shirani Chaharsooghi, Mohammad Javad Emadi, Mahdi Zamanighomi, Mohammad Reza Aref

Browse the full ISIT paper archive.