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.
Повернутися до переліку бібліотечних фондів