Local Decision and Verification with Bounded-Size Outputs
type: Dataset
description: International audience
issued: 2026-05-07T16:39:08.708507
language: en
modified: 2026-05-07T16:39:08.708511
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-dscomputer-science-csdata-structures-and-algorithms-csds
landing page: SSS

Local Decision and Verification with Bounded-Size Outputs
type: Distribution
format: HTML
issued: 2026-05-07T16:39:08.709577
modified: 2026-05-07T16:39:08.703254
access URL: https://hal.science/hal-00922700

test_moissonnage_selune
type: Agent