Kode Run-Length Limited (RLL) adalah kode yang banyak diaplikasikan pada media penyimpanan cakram keras. Cakram yang tergores reader tip menyebabkan bit pada data tidak dapat terbaca. Hal ini dapat diatasi dengan menyelesaikannya sebagai masalah SAT dengan bantuan SMT Solver. Penelitian ini bertujuan untuk memformulasikan masalah SMT untuk kode RLL secara umum. Selanjutnya formulasi yang diperoleh dipergunakan dalam eksperimen simulasi erasure decoding, yang kemudian dibandingkan performanya. Penelitian ini menggunakan metode eksperimen simulasi erasure decoding dan didampingi dengan studi literatur lainnya. Eksperimen terhadap performa kode (1, 3)-RLL dan (2, 7)-RLL dalam erasure decoding menunjukkan hasil yang relatif sama, dengan perbedaan utama bahwa komputasi kode (2, 7)-RLL dikomputasi lebih cepat dibandingkan (1, 3)-RLL.
