Uniform and scalable SAT-sampling for configurable systems | Publicación