On the Superiority of Conflict-Driven Search in MUS Enumeration

Aktivität: Vortrag oder PräsentationPosterpräsentationScience to science

Zeitraum29 Aug. 2018
Ereignistitel29th International Workshop on Principles of Diagnosis, DX 2018
VeranstaltungstypKonferenz
SponsorenCNRS - Centre National de la Recherche Scientifique, CNRS - Centre National de la Recherche Scientifique, Université de Toulouse, Warsaw University of Technology
OrtWarsaw, PolenAuf Karte anzeigen
BekanntheitsgradInternational