Журнал ИМТ Цитируемая работаПубликацияДокумент

Resolution-Based Certificate Extraction for QBF

http://libmeta.ru/resource/imt/cited_1511

Данные

год	2012
language	en

автор

Biere A. Lonsing F. Niemetz A. Preiner M. Seidl M.

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

← цитирует · 1

← ссылается на · 1