C
combinatorial optimization
Projects with this topic
-
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
Updated -
An elegant and efficient combinatorial programming language.
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