wiki_research

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

tarsis_lemma (237B)

      1 # Tarsi's lemma
      2 
      3 [theorem] saying that a [minimal_unsatisfiable] formula with n variables has at least n+1 clauses, cf [aharoni1986minimal], aka [clause_variable_difference], cf [szeider2008matched]
      4 
      5 Up: [lemma], [minimal_unsatisfiable]