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