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

logo-200x200-TU GrazThe 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

More Press Releases!

PressReleaseWe received a few more press releases about the Agile project from our consortium. Give them a read and check out the ones that were posted on our blog a few weeks ago.

Thank you to our partners for taking the time to publish these.

Happy reading!

New Press Releases

PressReleaseConsortium partners have recently published a new wave of press releases about the AGILE project. These press releases are interesting to read because they present different facets of the AGILE project: how the project is perceived by these partners, how they see their role in making the project a success, and more.

Enjoy reading!
Continue reading