Publisher
Oxford University Press (OUP)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Clausal Proofs for Pseudo-Boolean Reasoning;Tools and Algorithms for the Construction and Analysis of Systems;2022
2. A survey of direct methods for sparse linear systems;Acta Numerica;2016-05-01
3. Unsymmetric Ordering Using A Constrained Markowitz Scheme;SIAM Journal on Matrix Analysis and Applications;2007-01
4. Gaussian elimination for the solution of linear systems of equations;Handbook of Numerical Analysis;2000
5. References;Computer Solution of Large Linear Systems;1999