Журнал ИМТ
Цитируемая работаПубликацияДокумент
DepQBF: A Dependency-Aware QBF Solver
http://libmeta.ru/resource/imt/cited_522
Данные
| sourceNote | Journal of Satisfiability, Boolean Modeling and Computation. 2010. Vol. 9. pp. 71-76. |
| год | 2010 |
| language | en |
| bibliographicCitation | Lonsing F., Biere A. DepQBF: A Dependency-Aware QBF Solver // Journal of Satisfiability, Boolean Modeling and Computation. 2010. Vol. 9. pp. 71-76. |
автор
Входящие связи
← цитирует · 2