3
Mengukur tingkat kesulitan SAT
Diberikan instance dari SAT, saya ingin dapat memperkirakan seberapa sulitnya untuk menyelesaikan instance. Salah satu caranya adalah dengan menjalankan solver yang ada, tetapi jenis itu mengalahkan tujuan memperkirakan kesulitan. Cara kedua mungkin mencari rasio klausa terhadap variabel, seperti yang dilakukan untuk transisi fase secara acak-SAT, tapi saya yakin metode yang …