Patent ID: 9349094
Filing Date: 2016-05-24
CPC Classification: G06F,G06N

Claim Text:
1. A computer-implemented method for providing a minimal explanation to a set of unsatisfiable constraints, the computer-implemented method involving retrieving by a processor of a computer, a minimal subset of constraints that remain together unsatisfiable, the computer-implemented method comprising: 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