Research Chair Data Science for Combinatorial Game Theory's repositories
MIP-Representation-for-SPFG
This repository contains code to represent and solve SPFGs using a compact MIP-representation
Language:PythonMIT000
mip-for-ann
Official PyTorch and CVXPY implementation of Identifying Critical Neurons in ANN Architectures using Mixed Integer Programming