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

Perrouin, G. (Orateur)

Activité: Types de discours ou de présentationPrésentation orale

Période13 avr. 2019
!!TitreJournée GLE / LOUISE / RIMEL (GDR-GPL)
Type d'événementComité scientifique
LieuTalence, France
Niveau de reconnaissanceNational