Clik here to view.
The Muffin Problem
table.blueTable { border: 1px solid #1C6EA4; background-color: #EEEEEE; width: 60%; text-align: left; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.blueTable td,...
View ArticleGurobi 8.1
Quite some improvements in MIQP performance. Of course the smaller improvements in other model types also help: over time these things add up to substantial performance gains.AnnouncementGurobi is...
View ArticleStrange objective
In [1], a question was posted how to use the \(\mathit{sign}()\) function in the SCIP solver. The problem to solve isargmax(w) sum(sign(Aw) == sign(b)) This is a strange objective. Basically: find...
View ArticleQuadratic Programming with Binary Variables
table.blueTable { border: 1px solid #1C6EA4; background-color: #EEEEEE; width: 60%; text-align: left; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.blueTable td,...
View ArticleClik here to view.
Selecting Chess Players
table.blueTable { border: 1px solid #1C6EA4; background-color: #EEEEEE; width: 60%; text-align: left; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.blueTable td,...
View ArticleSolving many scenarios
table.blueTable { border: 1px solid #1C6EA4; background-color: #EEEEEE; width: 60%; text-align: left; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.blueTable td,...
View ArticleClik here to view.
Chess and solution pool
table.blueTable { border: 1px solid #1C6EA4; background-color: #EEEEEE; width: 60%; text-align: left; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.blueTable td,...
View ArticleClik here to view.
More queens problems
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
More queens problems (2)
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
An interesting linearization involving xor
XOR gate sold by Amazon [1]table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable {...
View ArticleClik here to view.
Linearizing multiple XOR operations
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
Implied Multiple Objectives
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
(Pre)solving Killer Sudokus
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
Preferences for houses and neighbors
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
Arranging a matrix
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
Strange math
Some examples that caught my eye.Strange constraintsIn [1] we see a strange constraint:A constraint like \[0.8 x \le x \le 1.2 x\] effectively says: \(x\ge 0\).I think the poster means \[0.8 x^0 \le x...
View ArticleClik here to view.
A variant of the transportation problem
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
Logs made linear
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View ArticleClik here to view.
The 8-queens problem without binary variables
An eight-queens solution [3]table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable {...
View ArticleClik here to view.
Piecewise linear functions and formulations for interpolation (part 1)
table.xyz { table-layout: fixed; border-collapse: collapse; margin-left:auto; margin-right:auto; } table.xyz th, table.xyz td { border: 1px solid black; } table.blueTable { border: 1px solid #1C6EA4;...
View Article
