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ériode26 avr. 2019
Conservé à12th IEEE International Conference on Software Testing, Verification and Validation
Type d'événementUne conférence
LieuXi'an, Chine
Niveau de reconnaissanceInternational