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

Perrouin, G. (Speaker)

Activity: Talk or presentation typesOral presentation

Period26 Apr 2019
Event title12th IEEE International Conference on Software Testing, Verification and Validation
Event typeConference
LocationXi'an, China
Degree of RecognitionInternational