Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight.

Nadia Creignou, Frdric Olive, Johannes Schmidt

Browse the full SAT paper archive.