|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A 2|E|/4-time algorithm for MAX-CUT |
Kulikov, A. S. |
2005 |
126 | 3 |
p. 1200-1204 |
article |
|
| 2 | An upper bound O(20.16254n) for exact 3-satisfiability: a simpler proof |
Kulikov, A. S. |
2005 |
126 | 3 |
p. 1195-1199 |
article |
|
| 3 | Blocks in k-connected graphs |
Karpov, D. V. |
2005 |
126 | 3 |
p. 1167-1181 |
article |
|
| 4 | Hard satisfiable instances for DPLL-type algorithms |
Nikolenko, S. I. |
2005 |
126 | 3 |
p. 1205-1209 |
article |
|
| 5 | Invertible infinitary calculus without loop rules for restricted FTL |
Pliuškevičius, R. |
2005 |
126 | 3 |
p. 1210-1228 |
article |
|
| 6 | On non-Abelian homomorphic public-key cryptosystems |
Grigoriev, D. |
2005 |
126 | 3 |
p. 1158-1166 |
article |
|
| 7 | Public-key cryptography and invariant theory |
Grigoriev, D. |
2005 |
126 | 3 |
p. 1152-1157 |
article |
|
| 8 | Solution lifting method for handling meta-variables in TH∃OREM∀ |
Konev, B. |
2005 |
126 | 3 |
p. 1182-1194 |
article |
|
| 9 | Systems of pairs of q-distant representatives, and graph colorings |
Golovach, P. A. |
2005 |
126 | 3 |
p. 1141-1151 |
article |
9 results found