We only have this paper's title and publication details.
Read it at the sourceAnswers are grounded in this paper and cite their sources.
Mathematics solves problems by pen and paper. CS helps us to go far beyond that.
No takes yet. Share an insight, caveat, or question.
Heule et al. (2017) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: