Simon Vilmin

Una inmersión profunda en las firmas de listas para fórmulas XOR-CNF y sus complejidades.

Una mirada a los sistemas de clausura, sus estructuras y usos prácticos.

Este artículo explora el concepto de separación en medio espacio en las convexidades de grafos.