wiki_research

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

minimum_match_counting (221B)

      1 # Minimum match counting
      2 
      3 The [counting_problem]:
      4 - [input]: a [Boolean_query] Q and a [database_instance] D
      5 - [output]: counting the [minimal_matches] of Q on D
      6 
      7 Up: [counting_query_answers]
      8 
      9 See also: [minimal_witness]