SOTAVerified

An SMT-driven Authoring Tool

2012-12-01COLING 2012Unverified0· sign in to hype

Sriram Venkatapathy, Shachar Mirkin

Unverified — Be the first to reproduce this paper.

Reproduce

Tasks

Reproductions