Leveraging Discrete Function Decomposability for Scientific Design