この資料をSMS送信: Algorytm rozwiązywania pewnej klasy zadań pseudoboolowskich :