3 ms·A short series of posts about encoding problems as Satisfiability problems1 points by rvprasad 8y ago