combinatorial optimization
Projects with this topic

Proof checker for proof logging method using pseudoBoolean reasoning for various combinatorial solving and optimization algorithms.
Updated 
Formally verified proof checker for pseudoBoolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
Updated 
An elegant and efficient combinatorial programming language.
Updated 

A C++ implementation of my novel optimisation method for openshop scheduling with arbitrary constraints.
UpdatedUpdated 
An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000cities input
Updated 
The developed software project is optimized jobshop scheduling problem using lottery planning.
Updated 
Best Arm Identificationbased Combinatorial Optimization Algorithms
Updated 
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.
Updated 
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
Updated