IMT journal Cited authorPerson

Biere A.

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

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

← author · 2

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