Victor Lagerkvist

Questo studio si concentra su variabili quantificate esistenzialmente in QBF, puntando a soluzioni efficienti.

Questo studio esamina le complessità del problema del -Coloring nei grafi.

Uno sguardo semplificato ai CSP e all'impatto di vincoli aggiuntivi.