Constraint-based and SAT-based diagnosis of automotive configuration problems

The research work has been done in the context of AGILE, with the aim to develop techniques for gateway (self-)configuration and Internet of Things (IoT) software recommendation. More specifically, the paper provides a major contribution especially to the area of interactive configuration by analyzing equivalences of optimal diagnoses determined on the basis of different diagnosis approaches (direct diagnosis and partial weighted MinUNSAT solving).

Continue reading