Parameterized Complexity Investigations on the First-Order Satisfiability and Matching Problems
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
First-order Logic
-
Logic and Computation
-
Matching
-
Parameterized Complexity
-
Satisfiability
Identidade
identificador BrCris
-
ecad938bc0468d1fa88b9c689de6c3f7
identificador Capes
identificador Oasisbr
-
UFC-7_1d840ea4d02cfa73e19fc13e22e433c9