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

Activity: Talk or presentation types › Oral presentation

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