Is there a good paper
We’re working on a tutorial and tech report about enumeration. Let us know what you’d like to see in those 
isn’t the point of declaring independence to avoid doing the cartesian product?
Yes. I’m happy to explain if you post a more complete model, ideally a complete model, guide, and training loop. There are different tricks to avoid the cartesian product, and to recommend a trick we’ll need to se how you consume values downstream of the sample statements.