Штренев Владислав Сергеевич

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

1. Cut-based technology mapper with optimizations
   
   Труды ИСП РАН, 37:6(4) (2025),  85–96