共 50 条
- [34] Non-elementary speedups between different versions of tableaux THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 217 - 230
- [39] Equivalence between different formulations of the linear complementarity problem OPTIMIZATION METHODS & SOFTWARE, 1997, 7 (3-4): : 265 - 290