Szeider Stefan
Minimal unsatisfiable formulas with bounded clause-variable difference are .xed-parameter tractable
В наявності 0 з 0 примірників.
Номер документа в системі:
52878
Автор:
Szeider Stefan
Назва документа:
Minimal unsatisfiable formulas with bounded clause-variable difference are .xed-parameter tractable
Мова документу
Англійська
Кількість сторінок
656–674p.
Повернутися до переліку бібліотечних фондів