Журнал ИМТ Цитируемый авторПерсона

Biere A.

http://libmeta.ru/resource/imt/cited_author/Biere_A

Входящие связи

← автор · 2

Resolution-Based Certificate Extraction for QBF DepQBF: A Dependency-Aware QBF Solver