Sign in

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

Quentin PlazarMathieu AcherGilles PerrouinXavier DevroeyMaxime Cordy
Published in: ICST (2019)
Keyphrases
  • uniform sampling
  • feature selection
  • decision trees
  • multi class