یه لینکی همینطوری پیدا کردم، یه بنده خدایی اومده سعی کرده SAT رو با پیادهسازی یه SAT solver ساده به زبان پایتون توضیح بده. من خودم پایتون هیچی بلد نیستم ولی متنش رو که میخوندم خیلی خوب و روون بود. خلاصه میذاریم اینجا بمونه.
https://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html
Post #2835
2.3K
Forwarded from a pessimistic researcher (Kc)
Sahandsaba Understanding SAT by Implementing a Simple SAT Solver in Python SAT is often described as the "mother of all NP-complete problems." This post goes over what SAT is and why it is considered to be so important. A simple SAT solver is implemented using Python in the process. Coding, mathematics, and problem solving by Sahand…- 👍 5