Blochinger Wolfgang
Parallel propositional satis.ability checking with distributed dynamic learning
В наявності 0 з 0 примірників.
Номер документа в системі:
55621
Автор:
Blochinger Wolfgang
Назва документа:
Parallel propositional satis.ability checking with distributed dynamic learning
Мова документу
Англійська
Кількість сторінок
1153–1174p.
Повернутися до переліку бібліотечних фондів