3 ms·The Art of Computer Programming, Volume 4B, Fascicle 6: Satisfiability1 points by djd3141 11y agobloodorange 11y agoreferrer link?