Ahmed, Umair Z.

2 publications

AAAI 2015 Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

IJCAI 2013 Automatically Generating Problems and Solutions for Natural Deduction Umair Z. Ahmed, Sumit Gulwani, Amey Karkare