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

Activité: Discours ou présentation › Présentation orale

Période26 avr. 2019
Titre de l'événement12th IEEE International Conference on Software Testing, Verification and Validation
Type d'événementUne conférence
EmplacementXi'an, ChineAfficher sur la carte
Degré de reconnaissanceInternational