8 citations · 20 across the 5 of their papers we have counts for
1 paper · 1 filter
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
ExtractingMUCs(MinimalUnsatisfiableCores)fromanunsatisfiable constraint network is a useful process when causes of unsatisfiability must be understood so that the network can be re…