Return to Article Details
Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач
Download
Download PDF