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

Succinct certification of monotone circuits

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

Tidsskrift

Theoretical Computer Science
ISSN 0304-3975
e-ISSN 1879-2294
NVI-nivå 2

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Trykket: 2021

Importkilder

Scopus-ID: 2-s2.0-85111571684

Beskrivelse Beskrivelse

Tittel

Succinct certification of monotone circuits

Bidragsytere

Mateus Rodrigues Alves

  • Tilknyttet:
    Forfatter

Mateus De Oliveira Oliveira

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

Janio Carlos Nascimento Silva

  • Tilknyttet:
    Forfatter

Uéverton S. Souza

  • Tilknyttet:
    Forfatter
1 - 4 av 4