C
combinatorial optimization
Projects with this topic
-
Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
Updated -
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
Updated -
An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input
Updated -
Best Arm Identification-based Combinatorial Optimization Algorithms
Updated