Cristin-resultat-ID: 1884601
Sist endret: 13. september 2021, 22:44
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity

Bidragsytere:
  • Mateus Rodrigues Alves
  • Mateus De Oliveira Oliveira
  • Janio Carlos Nascimento Silva og
  • Uéverton S. Souza

Tidsskrift

Lecture Notes in Computer Science (LNCS)
ISSN 0302-9743
e-ISSN 1611-3349
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Volum: 12273
Sider: 496 - 507

Beskrivelse Beskrivelse

Tittel

Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity

Bidragsytere

Mateus Rodrigues Alves

  • Tilknyttet:
    Forfatter
    ved Brasil

Mateus De Oliveira Oliveira

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Janio Carlos Nascimento Silva

  • Tilknyttet:
    Forfatter
    ved Brasil

Uéverton S. Souza

  • Tilknyttet:
    Forfatter
    ved Brasil
1 - 4 av 4