S-SAT - Sapienza SAT 06
ใบ อนุญาต: ฟรี ขนาดแฟ้ม: N/A
คะแนนจากผู้ใช้: 3.0/5 - 1 โหวต
กรุณารอสักครู่ ลิงก์ดาวน์โหลดของคุณกําลังได้รับการตรวจสอบสําหรับเนื้อหาที่เป็นอันตราย
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
เกี่ยวกับ S-SAT - Sapienza SAT
ในระหว่างหลักสูตรที่มหาวิทยาลัย & quot;La Sapienza" ในกรุงโรมฉันพัฒนาตัวแก้ปัญหา SAT ที่ทํางานอย่างเต็มที่ตามการเผยแพร่หน่วยและย้อนรอย; มันสามารถอ่านไฟล์ DIMACS และประมวลผลสูตร cnf ที่มีความยาวใด ๆ (ไม่มีข้อ จํากัด เกี่ยวกับจํานวนตัวอักษร)