Backlinks

Thesis. The asymptotics of language

Reference. Boolean satisfiability: theory and engineering

Reference. Boolean satisfiability from theoretical hardness to practical success

Reference. The complexity of computing a Nash equilibrium

1 February 2009

Reference. Performance results of the simplex algorithm for a set of real-world linear programming models