Author:
Publication: Artificial Intelligence
Generating SAT instances with community structure
A note on the complexity of the causal ordering problem