Noun
presolving (uncountable) To transform a mathematical problem into an equivalent problem that is hopefully easier to solve.