Wang J.
Weight-Balanced Branching Rule for SAT
В наявності 0 з 0 примірників.
Номер документа в системі:
92971
Автор:
Wang J.
Назва документа:
Weight-Balanced Branching Rule for SAT
Мова документу
Англійська
Кількість сторінок
595-609 p.
Повернутися до переліку бібліотечних фондів