commit 82915d58c6276b6261daea52abe94550cc5f7978 parent 8b6d06fd80223f92b9bba006672609adf0b276fd Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 11 Mar 2025 11:27:15 +0100 commit with codex Diffstat:
| minimum_unsatisfiable_core | | | 11 | +++++++++++ |
1 file changed, 11 insertions(+), 0 deletions(-)
diff --git a/minimum_unsatisfiable_core b/minimum_unsatisfiable_core @@ -0,0 +1,11 @@ +# Minimum unsatisfiable core + +A subset of the [clauses] of a [CNF] [Boolean_formula] which is [unsatisfiable] and has a [minimum] number of clauses + +It is [sigmap2]_complete to compute +- https://cstheory.stackexchange.com/questions/54692/complexity-of-computing-minimum-unsatisfiable-core +[umans1999hardness] + +cf also [gupta2006learning] + +Up: [minimal_unsatisfiable]