alexchengyuli
...joined 7 months ago, and has 9 karma
submissions / comments / favourites
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.
...joined 7 months ago, and has 9 karma
submissions / comments / favourites
CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.