https://9lib.org/document/yj7mjej5-frontal-multi-frontal-solvers-orderings-elimination-trees-refinement.html