• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Algorithms for (n,3)-MAXSAT and parameterization above the all-true assignment

Theoretical Computer Science. 2020. No. 803. P. 222-233.
Belova T., Bliznets I.