C

combinatorial optimization

An elegant and efficient combinatorial programming language.

VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds

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

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.

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

STOLP — Стандартные Технологии Организации Линейного Программирования. Пакет stolp предназначен для расширения возможностей работы с оптимизационными моделями на Pyomo

A fast header-only C++20 library for modeling and solving network optimization problems

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

Solve the Set Covering Problem with EAs

A C++ implementation of my novel optimisation method for open-shop scheduling with arbitrary constraints.

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

The developed software project is optimized job-shop scheduling problem using lottery planning.

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.

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