On the Superiority of Conflict-Driven Search in MUS Enumeration

Wotawa, F. (Speaker)

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

Period29 Aug 2018
Held at29th International Workshop on Principles of Diagnosis, DX 2018
Event typeConference
LocationWarsaw, Poland
Degree of RecognitionInternational