3 ms·
Register allocation in compilers can be solved by graph colouring, which can be reduced to SAT and fed to a SAT solver.
by caf 6y ago
Register allocation in compilers can be solved by graph colouring, which can be reduced to SAT and fed to a SAT solver.