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

Lonsing F.

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

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

← автор · 3

Resolution-Based Certificate Extraction for QBF DepQBF: A Dependency-Aware QBF Solver HordeQBF: A Modular and Massively Parallel QBF Solver