This preprint makes the claim of having computed the 9^th Dedekind
Numbe...
Decades of research on the 0-1 knapsack problem led to very efficient
al...
Patient scheduling is a difficult task as it involves dealing with stoch...
The personnel rostering problem is the problem of finding an optimal way...
In this article, a novel approach to solve combinatorial optimization
pr...
Predicting and comparing algorithm performance on graph instances is
cha...
This paper proposes a local search algorithm for a specific combinatoria...
The Steiner Tree Problem (STP) in graphs is an important problem with va...
The IDP knowledge base system currently uses MiniSAT(ID) as its backend
...
We consider a multi-neighborhood local search algorithm with a large num...