1 citations · 1 across the 1 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…