I

integer linear programming

PlasBin-HMF is a CLI tool to perfom plasmid binning in short read assembly graph. It relies on a global optimization problem based on a multi-flow approach, where the flows on the arcs are proxy of the abundance of the DNA molecule in the sample.

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.