wiki_research

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

minimum_unsatisfiable_core (367B)


      1 # Minimum unsatisfiable core
      2 
      3 A subset of the [clauses] of a [CNF] [Boolean_formula] which is [unsatisfiable] and has a [minimum] number of clauses
      4 
      5 It is [sigmap2]_complete to compute
      6 - https://cstheory.stackexchange.com/questions/54692/complexity-of-computing-minimum-unsatisfiable-core
      7 [umans1999hardness]
      8 
      9 cf also [gupta2006learning]
     10 
     11 Up: [minimal_unsatisfiable]