Konstantin Kutzkov

2007
3	EE	Alexander S. Kulikov, Konstantin Kutzkov: New Bounds for MAX-SAT by Clause Learning. CSR 2007: 194-204
2	EE	Konstantin Kutzkov: New upper bound for the #3-SAT problem. Inf. Process. Lett. 105(1): 1-5 (2007)
2006
1	EE	Konstantin Kutzkov: A Note on the Use of Independent Sets for the k-SAT Problem. JSAT 1(2): 143-145 (2006)

Coauthor Index

1

Alexander S. Kulikov

[3]