minimal_unsatisfiable (298B)
1 # Minimal unsatisfiable 2 3 [conjunctive_normal_form] [boolean_formula] which is unsatisfiable but every strict clause subset is satisfiable 4 5 [dp_complete] to identify 6 - cf [minimum_unsatisfiable_core] 7 8 Relevant result: [tarsis_lemma] 9 10 Up: [satisfiability_boolean] 11 12 See also: [extremal_combinatorics]