3 ms·SAT Live – Keep Up to Date with Research on the Satisfiability Problem2 points by bcaa7f3a8bbc 8y ago