Вы здесь

Hirsch E. A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas 2004 Alekhnovich M., Hirsch E. A., Itsykson S. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.10.2004