Cited publications in Communications of the ACM:Performance results of the simplex algorithm for a set of real-world linear programming models (1982)The complexity of computing a Nash equilibrium (2009)Boolean satisfiability from theoretical hardness to practical success (2009)Boolean satisfiability: theory and engineering (2014)