C

combinatorial optimization

Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.

PhD project repository for algorithms and research on approximation-based heuristics for the Inventory Routing Problem and related topics.

RoundingSat: the pseudo-Boolean solver powered by proof complexity!

An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input

The epiGenetic Algorithm (epiGA), consists of a set of strategies, based on evolutionary computation, inspired in nature, especially in epigenetics, with the aim of solving complex combinatorial problems.