alexchengyuli

...joined 4 days ago, and has 9 karma

submissions / comments / favourites

CS background (NYU). Interested in SAT solvers, combinatorics, and AI reasoning.