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