S-SAT - Sapienza SAT 06
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 3.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang S-SAT - Sapienza SAT
Semasa kursus di Universiti & quot;La Sapienza" di Rom saya membangunkan pelarut SAT yang bekerja sepenuhnya berdasarkan pembersihan unit dan backtracking; ia boleh membaca fail DIMACS dan memproses formula cnf apa-apa panjang (tidak ada sekatan ke atas bilangan literal).