An SMT-driven Authoring Tool

Sriram Venkatapathy | Shachar Mirkin |

Paper Details:

Month: December
Year: 2012
Location: Mumbai, India
Venue: COLING |