Victor Lagerkvist

Este estudio se centra en variables cuantificadas existencialmente en QBF, buscando soluciones eficientes.

2025-08-12T01:33:18+00:00 ― 5 minilectura

Este estudio examina las complejidades del problema de -Coloración en grafos.

2025-08-03T12:17:48+00:00 ― 6 minilectura

Una mirada simplificada a los CSP y el impacto de las restricciones adicionales.

2025-06-23T01:09:00+00:00 ― 6 minilectura