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

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 7241647
+scientific article; zbMATH DE number 7164347
@@ Property / DOI @@
-.1007/s10107-020-01474-5
@@ Property / DOI: 10.1007/s10107-020-01474-5 / rank @@
-Normal rank
@@ Property / zbMATH Open document ID @@
+.90088
@@ Property / zbMATH Open document ID: 1436.90088 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-030-17953-3_3
@@ Property / DOI: 10.1007/978-3-030-17953-3_3 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10107-020-01474-5
@@ Property / DOI: 10.1007/S10107-020-01474-5 / rank @@
+Normal rank
@@ Property / published in @@
+Integer Programming and Combinatorial Optimization
+Normal rank
@@ Property / publication date @@
+February 2020Timestamp +2020-02-06T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2020-02-06T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 6 February 2020 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T05
@@ Property / Mathematics Subject Classification ID: 68T05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+7164347
@@ Property / zbMATH DE Number: 7164347 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reluplex
@@ Property / describes a project that uses: Reluplex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRMLT
@@ Property / describes a project that uses: PRMLT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TensorFlow
@@ Property / describes a project that uses: TensorFlow / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Adam
@@ Property / describes a project that uses: Adam / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2901816197
@@ Property / OpenAlex ID: W2901816197 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3022023007
@@ Property / OpenAlex ID: W3022023007 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01988
@@ Property / arXiv ID: 1811.01988 / 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