@misc{Widuch_Jacek_Rozwiązanie,
 author={Widuch, Jacek and Krawczyk, Rafał},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={pol},
 title={Rozwiązanie problemu trójspełnialności formuł logicznych z użyciem architektury CUDA},
 type={artykuł},
 keywords={Politechnika Śląska, informatyka, technologie informatyczne},
}