Searching in one billion vectors: Re-rank with source coding | Synapse