S-SAT - Sapienza SAT 06
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 3.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang S-SAT - Sapienza SAT
Selama kursus di Universitas "La Sapienza" di Roma saya mengembangkan pemecah SAT yang sepenuhnya bekerja berdasarkan perambatan unit dan backtracking; dapat membaca file DIMACS dan memproses rumus cnf dengan panjang berapa pun (tidak ada batasan jumlah literal).