In 1993, Joos, Roy, and Solernó suggested that it should be possible to make small modifications to the exponential-time procedures to make them faster in practice than cylindrical algebraic decision, as well as faster in theory.
В 1993 Йос, Рой и Солерно высказали предположение, что должна существовать возможность небольшой модификации процедур с экспоненциальным временем, чтобы сделать их на практике быстрее цилиндрического алгебраического решения, что соответствовало бы теории.