Patent ID: 9367801
Filing Date: 2016-06-14
CPC Classification: G06F,G06N

Claim Text:
1. A computer program product for providing a minimal explanation to a set of unsatisfiable constraints, the providing involving retrieving a minimal subset of constraints that remain together unsatisfiable, the computer program product comprising a non-transitory computer readable storage medium having computer readable program code executable by a computer processor to perform: providing a list of constraints, the list comprising n constraints; and iterating over the list of constraints from a first one of the list of constraints to an n identifying an average observed distance between successive constraints in the set of unsatisfiable constraints based on differences in positions of the constraints; if a single removed constraint from the list of constraints keeps the set of constraints unsatisfiable, then starting with k=1, repeating the steps of (a) removing a plurality of 2 if the removed plurality of 2