On the Superiority of Conflict-Driven Search in MUS Enumeration

Wotawa, F. (Redner/in)

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

Zeitraum29 Aug 2018
VeranstaltungstypKonferenz
OrtWarsaw, Polen
BekanntheitsgradInternational