„nondeterministic refutation“

Suchergebnisse

1 Treffer

• Nondeterministic Interactive Refutations for Nearest Boolean Vector
  Bogdanov, Andrej ; Rosen, Alon 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik