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]