Konstantin Kutzkov

	2007
3		Alexander S. Kulikov, Konstantin Kutzkov: New Bounds for MAX-SAT by Clause Learning. CSR 2007: 194-204
2		Konstantin Kutzkov: New upper bound for the #3-SAT problem. Inf. Process. Lett. 105(1): 1-5 (2007)
	2006
1		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]