Multi-View Pareto Optimization for Minimal-Diagnostic-Set Identification of Disease Vectors | Synapse