Achlioptas Dimitris
A sharp threshold in proof complexity yields lower bounds for satis.ability search
В наявності 0 з 0 примірників.
Номер документа в системі:
52844
Автор:
Achlioptas Dimitris
Назва документа:
A sharp threshold in proof complexity yields lower bounds for satis.ability search
Мова документу
Англійська
Кількість сторінок
238–268p.
Повернутися до переліку бібліотечних фондів