I

integer linear programming

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

Este proyecto contiene material de la materia Introducción a la Investigación Operativa y Optimización, dictada por el Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la UBA.

Scaffolding for chloroplast genomes.