From Declarative Set Constraint Models to "Good" SAT Instances.

Frédéric Lardeux Éric Monfroy

Published in: AISC (2014)

Keyphrases

probability distribution
knowledge base
probabilistic model
randomly generated