Strong mixed-integer programming formulations for trained neural networks (Q5918909): Difference between revisions

@@ Property / DOI @@
-.1007/s10107-020-01474-5
@@ Property / DOI: 10.1007/s10107-020-01474-5 / rank @@
-Normal rank
@@ Property / DOI @@
+.1007/S10107-020-01474-5
@@ Property / DOI: 10.1007/S10107-020-01474-5 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong mixed-integer programming formulations for trained neural networks
+Normal rank
@@ Property / cites work @@
+Strong formulations for quadratic optimization with M-matrices and indicator variables
+Normal rank
@@ Property / cites work @@
+Disjunctive Programming and a Hierarchy of Relaxations for Discrete Optimization Problems
+Normal rank
@@ Property / cites work @@
+Disjunctive programming: Properties of the convex hull of feasible points
+Normal rank
@@ Property / cites work @@
+On handling indicator constraints in mixed integer programming
+Normal rank
@@ Property / cites work @@
+Q5483032
@@ Property / cites work: Q5483032 / rank @@
+Normal rank
@@ Property / cites work @@
+On mathematical programming with indicator constraints
+Normal rank
@@ Property / cites work @@
+Deep neural networks and mixed integer linear optimization
+Normal rank
@@ Property / cites work @@
+Q5270493
@@ Property / cites work: Q5270493 / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness against dependence in PERT: An application of duality and distributions with known marginals
+Normal rank
@@ Property / cites work @@
+Mixed-integer nonlinear programs featuring ``on/off'' constraints
+Normal rank
@@ Property / cites work @@
+The Cayley trick, lifting subdivisions and the Bohne-Dress theorem on zonotopal tilings
+Normal rank
@@ Property / cites work @@
+Modelling with integer variables
@@ Property / cites work: Modelling with integer variables / rank @@
+Normal rank
@@ Property / cites work @@
+Reluplex: an efficient SMT solver for verifying deep neural networks
+Normal rank
@@ Property / cites work @@
+Combinatorial optimization. Theory and algorithms
@@ Property / cites work: Combinatorial optimization. Theory and algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Lagrangian propagator for artificial neural networks in constraint programming
+Normal rank
@@ Property / cites work @@
+Empirical decision model learning
@@ Property / cites work: Empirical decision model learning / rank @@
+Normal rank
@@ Property / cites work @@
+Persistency Model and Its Applications in Choice Modeling
+Normal rank
@@ Property / cites work @@
+Deterministic global optimization with artificial neural networks embedded
+Normal rank
@@ Property / cites work @@
+Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
+Normal rank
@@ Property / cites work @@
+Mixed Integer Linear Programming Formulation Techniques
+Normal rank
@@ Property / cites work @@
+Small and strong formulations for unions of convex sets from the Cayley embedding
+Normal rank
@@ Property / cites work @@
+Modeling disjunctive constraints with a logarithmic number of binary variables and constraints
+Normal rank
@@ Property / cites work @@
+Stochastic Bounds on Distributions of Optimal Value Functions with Applications to PERT, Network Flows and Reliability
+Normal rank