On the Superiority of Conflict-Driven Search in MUS Enumeration

Activity: Talk or presentation › Poster presentation › Science to science

Period29 Aug 2018
Event title29th International Workshop on Principles of Diagnosis, DX 2018
Event typeConference
SponsorsCNRS - Centre National de la Recherche Scientifique, CNRS - Centre National de la Recherche Scientifique, University of Toulouse, Warsaw University of Technology
LocationWarsaw, PolandShow on map
Degree of RecognitionInternational