Automatic synthesis of constraints from examples using mixed integer linear programming

From MaRDI portal
Publication:1753666