Roland Jiang Jie-Hong

Доклады и лекции в базе данных Math-Net.Ru

1. Some Adventures in Boolean Satisfiability and Its Logic Synthesis Applications
   Jie-Hong Roland Jiang
   Коллоквиум Факультета компьютерных наук НИУ ВШЭ
   12 ноября 2019 г. 16:40