3 ms·
This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf https://yurichev.com/writings/SAT_SMT_by_example.pdf
by throwaway81523 1y ago
This is good too: https://yurichev.com/writings/SAT_SMT_by_example.pdf https://yurichev.com/writings/SAT_SMT_by_example.pdf
- pkoird 1y agoimo this is the pdf that many people like me used to learn SAT/SMT.