Yet Another Math Programming Consultant

I am a full-time consultant and provide services related to the design, implementation and deployment of mathematical programming, optimization and data-science applications. I also teach courses and workshops. Usually I cannot blog about projects I am doing, but there are many technical notes I'd like to share. Not in the least so I have an easy way to search and find them again myself. You can reach me at erwin@amsterdamoptimization.com.

Thursday, November 2, 2017

Suguru

›
Suguru is another popular, Sudoku-like puzzle originating from Japan.   We need to fill every block with unique numbers \(1,2,..,n_b\) whe...
Sunday, October 29, 2017

no overlapping jobs

›
A standard problem in continuous time job-scheduling is to forbid jobs to overlap: \[\begin{align}&S_i \ge E_j\\ &\text{or}\\ ...
Thursday, October 26, 2017

Profiling in visual studio

›
Somehow, I am often struggling to understand the output of profilers. This report of Visual Studio actually makes sense to me: I like the co...
Monday, October 23, 2017

“Coda is a next-generation spreadsheet designed to make Excel a thing of the past”

›
Picture from [4] Not so easy in my opinion. Excel is the workhorse in many workplaces. https://www.theverge.com/2017/10/19/16497444/coda-spr...
Thursday, October 19, 2017

Pareto fronts in Z3: a large data set

›
In [1] a small multi-objective MIP is solved with Z3. Here we try a larger problem, an engineering design problem. It has three objectives a...
Wednesday, October 11, 2017

Multi-objective Mixed Integer Programming and Z3

›
Vilfredo Federico Damaso Pareto (1848-1923) [ link ] The tool \(\nu Z\) [1,2] is an optimization extension to the SMT solver Z3 [3]. It can...
Saturday, October 7, 2017

Modern Distributed Optimization

›
Summary Matt Adereth talks about the Black-box optimization techniques, what’s actually going on inside of these black-boxes and discu...
Friday, October 6, 2017

von Koch and MiniZinc

›
A MiniZinc [1] version of the graceful labeling model in [3] was sent to me [4]. This looks actually quite nice, so therefore I reproduce it...
Tuesday, October 3, 2017

Modeling environments for the 21st century?

›
Is this a prediction for the period through December 31, 2100? Anyway, some interesting points are brought forward. A comparison is made bet...
Saturday, September 30, 2017

Numberlink Models

›
In the Numberlink puzzle [1] we need to connect end-points by paths over a board with cells such that: Each cell is part of a path Paths do...
1 comment:
‹
›
Home
View web version

About Me

Erwin Kalvelagen
View my complete profile
Powered by Blogger.