A. S. Kulikov

New upper bounds for the problem of maximal satisfiability

A. S. Kulikov, K. Kutskov, 2009 .

An upper bound O(20.16254n) for exact 3-satisfiability: a simpler proof

A. S. Kulikov, 2005 .