共 50 条
- [44] Hard Satisfiable Formulas for Splittings by Linear Combinations THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), 2017, 10491 : 53 - 61
- [45] LINEAR COMBINATION OF NORMALLY DISTRIBUTED VARIABLES AMERICAN MATHEMATICAL MONTHLY, 1970, 77 (10): : 1118 - &
- [48] THE LINEAR PARAMETRIZATIONS OF THE POINCARE AND GALILEO GROUPS DOKLADY AKADEMII NAUK BELARUSI, 1982, 26 (01): : 17 - 20