Вы здесь

Creignou N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Class of Problems that are Linearly Equivalent to Satisfiability or a Uniform Method for Proving NP-Completeness 1993 Creignou N. Lecture Notes in Computer Science 06.11.1993

Редактор: