Optimal Synthesis of Multi-output Boolean Functions Using Modern ILP Solvers. - Alessandro Versari; Marco Cococcioni (ApplePies, 2024)