Resolution-Based Certificate Extraction for QBF · LibMeta · SciLib
IMT journal Cited workPublicationDocument

Resolution-Based Certificate Extraction for QBF

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

Данные

year2012
languageen

author

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

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

← cites · 1
КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…
← references · 1
КОНСТРУКТИВНЫЙ ПОДХОД К ПРОВЕРКЕ ИСТИННОСТИ КВАНТИФИЦИРОВАННЫХ БУЛЕВЫХ ФОРМУЛ В…