๐ Updated Arxiv Paper
Title: Implied Integrality in Mixed-Integer Optimization
Authors: Rolf van der Hulst, Matthias Walter
Read more: https://arxiv.org/abs/2504.07209
@rolfvanderhulst.bsky.social
PhD Student in Mathematical Optimization at University of Twente
๐ Updated Arxiv Paper
Title: Implied Integrality in Mixed-Integer Optimization
Authors: Rolf van der Hulst, Matthias Walter
Read more: https://arxiv.org/abs/2504.07209
At least on Linux there seem to exist specialized fast timing functions: see stackoverflow.com/a/47003703 , which recommends to use 'clock_gettime()' and claims it only takes 3-5 nanoseconds on their system. I think it is likely that alternative calls exist in other operating systems.
09.06.2025 08:01 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0What kind of crazy FPS are you running at where a syscall is too expensive? In my experience, most syscalls take on the order of 100 - 1000 cycles, which would take less than a microsecond on a modern cpu.
09.06.2025 07:54 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0This is now out, we're super proud to have won the Land-Doig MIP competition prize for our algorithm for mixed-integer quadratic optimization!
04.06.2025 21:44 โ ๐ 20 ๐ 5 ๐ฌ 1 ๐ 0passagemath 10.5.27 contains (a preliminary version of) the new package passagemath-cmr, an interface to the Combinatorial Matrix Recognition library by Matthias Walter et al., implementing Seymour's decomposition of TU matrices etc.
pypi.org/project/pass...
#Python #SageMath #OpenSource #MathSky
If you are checking out Cargo, I would also check out NPM (node package manager), which is one of the most popular javascript package managers.
06.03.2025 13:29 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0No of course not! I would say the opposite; the fact that it is open source helps because you can actually understand what is happening, as long as you take the time to figure it out.
21.02.2025 13:45 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0I was mostly just talking about understanding the code, not just the parameters. I agree that it is annoying that a lot of parameters are repeated.
21.02.2025 12:30 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0I spent a lot of time figuring out that a '>' should be a '<'...
What prompted me to write the comment, however, is the amount of details that are involved. I doubt many users could successfully tune any solver without strong knowledge of its internals.
After attempting to tune MIR cuts in SCIP for 3.5 days, I understand better why people are willing to pay so much for a commercial MIP solver license.
20.02.2025 10:28 โ ๐ 7 ๐ 0 ๐ฌ 1 ๐ 0๐ Updated Arxiv Paper
Title: Sparsity-driven Aggregation of Mixed Integer Programs
Authors: Liding Xu, Gioni Mexi, Ksenia Bestuzheva
Read more: https://arxiv.org/abs/2502.01192
registration for the 2025 school on column generation is now open www.gerad.ca/colloques/Co... #orms
03.02.2025 16:08 โ ๐ 11 ๐ 8 ๐ฌ 0 ๐ 0The bugfix release 9.2.1 of the SCIP Optimization Suite is now available.
This brings updates to GCG, PaPILO, SCIP, and SoPlex:
- github.com/scipopt/gcg/...
- github.com/scipopt/papi...
- github.com/scipopt/scip...
- github.com/scipopt/sopl...
#orms
This is great, thanks for sharing!
13.12.2024 06:11 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0Are these talks recorded and posted anywhere so that I can watch them back later?
13.12.2024 05:56 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0I recorded my current talk for youtube! If you are interested in linear programming or theoretical computer science, this is for you
10.12.2024 16:01 โ ๐ 41 ๐ 10 ๐ฌ 3 ๐ 7The #mip2025 computational competition is open! This yearโs topic is finding feasible solutions for MIPs with quadratic functions. Student participation is encouraged and we may separately award outstanding student submissions. For more details, visit www.mixedinteger.org/2025/competi... #orms
07.12.2024 20:09 โ ๐ 14 ๐ 7 ๐ฌ 0 ๐ 0I am very pleased to announce that a 1996 paper I wrote on graph coloring and column generation with Anuj Mehrotra was given a "Test of Time" award by the INFORMS Journal of Computing for papers written 1995-1999. The full citation is at pubsonline.informs.org/doi/10.1287/...
03.12.2024 14:43 โ ๐ 29 ๐ 7 ๐ฌ 2 ๐ 0