Wijaya, Calvin (2022) Penerapan Algoritma 2-Satisfiability Dengan Pendekatan Strongly Connected Components: Studi Kasus SPOJ 10589-KING. Undergraduate thesis, Institut Teknologi Sepuluh Nopember.