Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Devs

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition | Read Paper on Bytez