José Galindo

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis

Constraint-based applications attempt to identify a solution that meets all defined user requirements. If the requirements are inconsistent with the underlying constraint set, algorithms that compute diagnoses for inconsistent constraints should be implemented to help users resolve the “no solution…