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