Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Perrouin, G. (Speaker)

Activity: Talk or presentation typesOral presentation

Period13 Apr 2019
Event titleJournée GLE / LOUISE / RIMEL (GDR-GPL)
Event typeScientific committee
LocationTalence, France
Degree of RecognitionNational