ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2101.12708
  4. Cited By
Between steps: Intermediate relaxations between big-M and convex hull
  formulations

Between steps: Intermediate relaxations between big-M and convex hull formulations

Integration of AI and OR Techniques in Constraint Programming (CPAIOR), 2021
29 January 2021
Jan Kronqvist
Ruth Misener
Calvin Tsay
ArXiv (abs)PDFHTML

Papers citing "Between steps: Intermediate relaxations between big-M and convex hull formulations"

10 / 10 papers shown
Situational-Constrained Sequential Resources Allocation via Reinforcement Learning
Situational-Constrained Sequential Resources Allocation via Reinforcement LearningInternational Joint Conference on Artificial Intelligence (IJCAI), 2025
Libo Zhang
Yang Chen
Toru Takisaka
Kaiqi Zhao
Weidong Li
Jiamou Liu
175
0
0
17 Jun 2025
Formal Verification of Markov Processes with Learned Parameters
Formal Verification of Markov Processes with Learned Parameters
Muhammad Maaz
Timothy C. Y. Chan
354
0
0
27 Jan 2025
Tightening convex relaxations of trained neural networks: a unified
  approach for convex and S-shaped activations
Tightening convex relaxations of trained neural networks: a unified approach for convex and S-shaped activations
Pablo Carrasco
Gonzalo Muñoz
308
3
0
30 Oct 2024
A cutting plane algorithm for globally solving low dimensional k-means
  clustering problems
A cutting plane algorithm for globally solving low dimensional k-means clustering problems
M. Ryner
Jan Kronqvist
Johan Karlsson
197
0
0
21 Feb 2024
PySCIPOpt-ML: Embedding Trained Machine Learning Models into
  Mixed-Integer Programs
PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer ProgramsIntegration of AI and OR Techniques in Constraint Programming (CPAIOR), 2023
Mark Turner
Antonia Chmiela
Thorsten Koch
Michael Winkler
AI4CE
275
13
0
13 Dec 2023
When Deep Learning Meets Polyhedral Theory: A Survey
When Deep Learning Meets Polyhedral Theory: A Survey
Joey Huchette
Gonzalo Muñoz
Thiago Serra
Calvin Tsay
AI4CE
703
46
0
29 Apr 2023
Model-based feature selection for neural networks: A mixed-integer
  programming approach
Model-based feature selection for neural networks: A mixed-integer programming approachLearning and Intelligent Optimization (LION), 2023
Shudian Zhao
Calvin Tsay
Jan Kronqvist
278
7
0
20 Feb 2023
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraintsMathematical programming (Math. Program.), 2022
Jan Kronqvist
Ruth Misener
Calvin Tsay
251
12
0
10 Feb 2022
OMLT: Optimization & Machine Learning Toolkit
OMLT: Optimization & Machine Learning ToolkitJournal of machine learning research (JMLR), 2022
Francesco Ceccon
Jordan Jalving
Joshua Haddad
Alexander Thebelt
Calvin Tsay
C. Laird
Ruth Misener
271
102
0
04 Feb 2022
Partition-based formulations for mixed-integer optimization of trained
  ReLU neural networks
Partition-based formulations for mixed-integer optimization of trained ReLU neural networksNeural Information Processing Systems (NeurIPS), 2021
Calvin Tsay
Jan Kronqvist
Alexander Thebelt
Ruth Misener
249
80
0
08 Feb 2021
1
Page 1 of 1