RUS  ENG
Full version
PEOPLE

Kutskov K

Publications in Math-Net.Ru

  1. New upper bounds for the problem of maximal satisfiability

    Diskr. Mat., 21:1 (2009),  139–157

© Steklov Math. Inst. of RAS, 2026