Nedávno, nový algoritmus (K. Korovin: Conflict Resolution) byla publikovaná, která představuje adaptaci Fourier-Motzkinova eliminace, která je účinná pro test, jestli systém lineárních nerovnic má řešení. Tento nový Korovinův algoritmus používá racionální aritmetiku. Obsahem této práce je zkoumání, jestli Korovinův algoritmus dovoluje spolehlivou implementaci na základě čísel s pohyblivou čárkou a konzervativního zaokrouhlení. Navíc, práce může zkoumat inkrementální verzi algoritmu, pro řešení problémů, kde nové nerovnice se inkrementálně přidávají.