Каменюка Євген Олександрович. Мультипроцесорні моделі рішення булевих рівнянь великої розмірності : Дис... канд. наук: 05.13.05 - 2009.