wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

circuit_trace (250B)

      1 # Circuit trace
      2 
      3 cf [rodriguesalves2021succinct], which studies [succinct_monotone_circuit_certification] problem
      4 
      5 Also known as "parse tree" or "certificate" or "proof tree"
      6 
      7 Up: [circuit]
      8 
      9 See also: [parse_tree], [proof_tree]
     10 
     11 Aliases: certificate