Sebastian Ordyniak

Esse estudo foca em variáveis quantificadas existencialmente em QBF, buscando soluções eficientes.

Analisando os desafios e soluções na completude de dados através da teoria dos grafos.

Um olhar sobre a planaridade agrupada e a saturação linear na representação de grafos.