Capturing the Dependency between Correlated AND gates using MILP

Universität Mannheim, 2023-08-01