alexchengyuli

...joined 1 month ago, and has 9 karma

submissions / comments / favourites

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