The top documents tagged [ams synthesis]